Renamed type-type|super to type-type|super+