Lambda Calculus - Evaluating Expressions #1