Moved type kinds from ExtQuals to Type