Add initial converter from grammar to CNF