Added a lambda calculus language