Added a translator (lambda calculus -> Haskell).