TcHsType: set the kind for tyvars that occur in explicit code types