Export injectiveVarsOf{Binder,Type} from TyCoRep