Add lambda-calculus parser
Lambda Parse and Generation.