-------------------------------
	Fix type-synonym arity checking
	-------------------------------

	*** MERGE TO STABLE BRANCH ***

The newish stuff on checking types (checkValidType etc)
didn't detect an un-saturated, but *kind-correct* type
synonym occurrence.  Example:

	type A i = i
	type B = A

Result: crash.  Fix is rather easy.

Thanks to Thomas Hallgren.