Fix intCastIso to be reflexive wrt non-fixed integer types
intCastIso
Simplified IsIntBaseTypeEq equations
IsIntBaseTypeEq
Add Data.Type.Equality.(==) instance for IntBaseTypeK
Data.Type.Equality.(==)
IntBaseTypeK