Check kinds of type variables while checking well-formedness of types

Stops (e.g.) an Int being used as a Type, including when no kind was
declared.  The following commit will remove the test for the latter
case.

0 files changed, 0 insertions, 0 deletions