core: also constrain kinds of tyvars when used as type of the body of a type abstraction