-The grammar encoder no longer generated unnecessary alternatives in absence of restricted sorts.
-Added some more text to the readme and added some examples.
-Cleaned up characters.
-Literals are now printed with quotes around them.
-Updated affected tests.