A lambda calculus interpeter