abstract datatype DataValues problematic?

[pjljvandelaar]

Dear Developers,

In Base.kerml is the abstract datatype DataValue defined.
Furthermore, the abstract feature dataValues is defined as a (possibly infinite) sequence of instances of DataValue.

However, no abstract datatype DataValues is introduced.
DataValues can not only be described using a (possibly infinite) sequence of instances of DataValue,
but also using functions/generators (e.g. Fibonacci) and distributions (like normal, gamma, and Poisson).

Is it possible to add the abstract datatype DataValues and let dataValues be an instance of that type,
or would this completely break SysML v2?

Thanks in advance for your answer.

Pierre