Menhir (OCaml parser generator) branch with minimal support for better error messages.