Commit

Parsing in Lean, but this is not the good old parsing combinator you are used to, it is a relation that later will help me prove properties of arbitrary parsers, be they recursive-descent or shift-reduce parsers. #lean