Simple toy lambda calculus evaluator