Pošljite SMS: The Safe Lambda Calculus