Reification with typed variables and typed constants
varTy, patTy, expTy
minor shuffle
tyHasTy reformulation
HasTy2
Use HasTy2, HasTy3
splitFunTy, domTy, ranTy
HasTy constraints in CCC; manage in ToCCC