Zaslat SMS: Types and programming languages.