added basic interpreter for the lambda calculus