DDSXTY14 — Confusing description of FINAL on 7.2.3 TypeExtensibilityandMutability

In this section there is a bullet stating:

• A type may be FINAL, indicating that the range of its possible data values is strictly defined. In particular, it is not possible to add elements to members of collection or aggregated types while maintaining type assignability.

This is confusing. What does it mean that " the range of its possible data values is strictly defined"?
Moreover, it talks about collection types where Table 12 says that for these types the extensibility kind has no effect.

It sis recommended that this bullet is rephrased to just say that members cannot be added, removed or reordered.