GitLab

Plug in [SelectiveExpansion] and [Drop] instead of [ExpandParameterizedGrammar]. Update a few test cases whose output changes slightly.

The old sort inference code remains, for now, but is redundant.
Some error messages change.

At log level 3, display the inferred sort of every symbol.