Ensure that coreView/tcView are able to inline
Previously an import cycle between Type and TyCoRep meant that several functions in TyCoRep ended up SOURCE import coreView. This is quite unfortunate as coreView is intended to be fused into a larger pattern match and not incur an extra call.
Fix this with a bit of restructuring:
- Move the functions in
TyCoRep
which depend upon things inType
intoType
- Fold contents of
Kind
intoType
and turnKind
into a simple wrapper re-exporting kind-ish things fromType
- Clean up the redundant imports that popped up as a result
Closes #17441 (closed).