initial (half-broken) commit for the boxity rewrite
bump bound dep
Fixed compilation with new kindVars (missing bitraverseScopeTK still)
implement bitraverseScopeTK
Merge branch 'master' of github.com:ermine-language/ermine into boxity
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
Add showLongHash so we can start testing boxities
added missing Type case to the kind unifier
allow more boxities
We successfully typecheck eta-expanded showLongHash
started refactoring of Core into a bifunctor
Finished parameterizing Core on the representation of calling convention
Two fixes involving kind checking

- Do kind checking when unifying with a type variable to catch certain malformed
  uses of functions that only that can catch; this is effectively checking
  that calling conventions will match.

- Delay defaulting of boxity until we need to convert to Convention. This allows
  you to define a function that takes a function over unboxed types without
  explicitly giving the argument a type.
Generate calling conventions based on kind inference.
Merged in boxity developments, since they seem to be functioning