Read grammar files, desugar & resugar by command line, check that terms
conform to core/surface grammar.