Fixes to monadic parsignators. Created a bnf parser and a basic lambda calculus example.