Interpreter for the lambda calculus