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

	Merge to STABLE

...missed file...

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

....