Minor cleanup
Remove the "start" sort from the grammar;
you now specify the sort to use when calling 'desugar' or 'resugar'.