SMS: Types and programming languages