Envoyer par SMS: Type Theory and Functional Programming