Migrate to Menhir

Deprecated OCamlYacc grammar in favor of Menhir.
Begin altering grammar to match Menhir's expanded forms.