A transformer transforms denotations at a given phase
DenotTransformer trait that has the identity as its
You might want to inherit from this trait so that new denotations can be
enteredAfter at the end of the phase.
A transformer that only transforms the info field of denotations
A transformer that only transforms SymDenotations