Closed Type Synonym Families

see TypeFunctions/TotalFamilies