----------------------------------
 	Two GADT error-reporting bugs
	----------------------------------

	Merge to STABLE

1.  Bug in kind-checking for GADTs; turned out to be in
    isOpenTypeKind on KindVars

2.  Missed check for the return type for GADTs