public static SpecQualList Add(SpecQualList list, TypeQual typeQual) => Create(list.TypeSpecs, list.TypeQuals.Add(typeQual));