Lambda Calculus - Evaluating Expressions #4