Adding extended lambda calculus evaluator