The result kind of a signature can't mention quantified vars

This patch fixes a small but egregious bug, which allowed a type signature like

        f :: forall a. blah

not to fail when (blah :: a). Acutally this only showed up as a ASSERT error (#19495 (closed)).

The fix is easy.