(type ?inst ?super)