PEG parsing up to nEcomp (infix "o" for function composition)
PEG parsing up to nEtyped constructor (type annotations)
New tokeq utility function for writing PEG-parsers.
PEG parsing up to "orelse" infix