Zaslat SMS: The Safe Lambda Calculus