Introduce type equality constraint constructor
Fix ConstraintKinds tests

We now support type equality constraint