Moved SequiturUtil to separate util package
Two different naming strategies for non-terminals