add AssocType trans, subst and frees