(type ?inst ?sub)