Reject linearity in kinds in checkValidType (#18780)
As suggested in #18780 (closed), I took Ryan's patch #18624 (comment 300673) and trimmed it to linear types only.
As suggested in #18780 (closed), I took Ryan's patch #18624 (comment 300673) and trimmed it to linear types only.