Add the CFGrammar type and refactor a bit.
Rename CFG.CNFHelpers to CFG.Helpers.CNF.