public static SpecQualList Add(SpecQualList list, TypeSpec typeSpec) => Create(list.TypeSpecs.Add(typeSpec), list.TypeQuals);