Lambda calculus interpreter.