core: add type eq judgement module
core: add kind inference test where kind is constrained by type application
code: unify against type constructor kinds with bidirectional checking
core: more refactoring of kind checker
core tetra: move broken tests around
source tetra: set the builder explicitly in toSalt tests