Remove debugging printout statements / update some comments
Revert (~) not to be promotable.
Revert "Made eqTyCon to be heterogeneous."

This reverts commit 9fe478d5b6c683ebb12d52696c7fb0eb81ad51d0.

Conflicts:

	compiler/deSugar/DsBinds.lhs
	compiler/typecheck/TcHsType.lhs
	compiler/typecheck/TcMType.lhs
	compiler/types/Coercion.lhs
Merge branch 'nokinds' into nokinds-prom-gadt