Renamed type variables