Make sure that tcView and coreView can INLINE
Currently TyCoRep SOURCE-imports
coreView, which is bad because we can't inline it, and incorporate it into the parent pattern match.
Two ways to fix this:
coreViewinto TyCoRep. Probably then need to SOURCE-import substitution or something like it.
Move the functions in TyCoRep that use
coreViewout of it -- probably by moving the
Typepretty-printer higher, and SOURCE-importing it when necessary.