add {abstract, instantiate}-many for AssocType