Implemented a parser that returns un-typed lambda calculus.