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