Parser combinators that can handle ambiguous left-recursive grammars