* tcfail046: Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided.

111

* tcfail071: Changed error message (has now only one of two parts). Unsure whether the lack of the second part signals regress.

110

* tcfail046: VALID: Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided.

111

* tcfail071: ?? Changed error message (has now only one of two parts). Unsure whether the lack of the second part signals regress.

112

* tcfail102: VALID.

113

* tcfail128: VALID. Same as tcfail046.

114

* tcfail145: VALID. Error message got worse.

115

* tcfail153: VALID. Related to Simple5a in that a match against a rigid type variable gets reported as an equality context that could not be deduced.

116

* while: VALID. Works if definition of `succeed` gets a type signature `Monad m => a -> m a`. The error seems to be due to the new GADT rules about annotations, but the error message is a bit strange; ie, need to be improved.