more work on boxities
teach prettyKind about boxity
Switch star to generate Type star so we can avoid a ton of mistake potential
distinguish the two uses of anyType (parsing and binding group typechecking) so we can instantiate parsed variables at other representable kinds
Added withSharing
Handle generalization while avoiding generalizing boxities