Deakstadieđáhus: The Safe Lambda Calculus