OCaml library for manipulating context-free grammars.