TcCanonical
canonicalize
unifyDerived
makeSuperClasses
data
StopOrContinue
a
stopWith
continueWith