Fix kinds of GADT equalities in rejigConRes
Zonk the kind of variables in TcForAllCo.
Box unboxed covars during desugaring.
Debugging output