Make the parsing heap include semantics/gramTheory.
Handle qualified names for type operators.
Handle qualified names for constructors.
Make tests in parsing/testing start from strings rather than token lists

This means that I’m testing the lexer as well as the parser, but it’s
much more convenient for writing the tests.