Lambda Calculus - Evaluating Expressions #3