Αποστολή με SMS: The Structure of Typed Promming Languages