simplify ML parser
blah
revert to naive parser combinators
blah
remove unused fail combinator