Define TyCoRep.ppSuggestExplicitKinds, and use it