Αποστολή με SMS: A Modern Perspective on Type Theory