Capture scoped kind variables at type-checking phase (#16635)
Sort of fixed #16635 (closed)
I implemented the approach described in this comment of @int-index: now GHC reports about that it cannot make /\ a -> Type ... @a ...
instead of non-informative reporting that type variable is not in scope unlike it is in term level.