I’m not a huge fan of the Spec part in AvailabilitySpecList. We should rename it to AvailabilityArgumentListSyntax. Similarly, we should rename all other nodes that contain Spec:
AvailabilitySpecList
BackDeployedAttributeSpecList
SpecializeAttributeSpecList