Static analysis

We have already encountered some classes with reusable operations for analysing or manipulate syntax trees: DefinedNames, ReAssoc, HasInfixDecls.

For the type checker, we need one more piece of information of this kind...