Add restrictions on domain variables

[t-sommer]

I propose to add the following constraints to allow better static validation:

• Domain variables should not be allowed to be of type Clock, Binary, and String.
• The values of domain variables should be non-decreasing.

[chrbertsch]

The values of domain variables should be non-decreasing.

This is not true for point cloud data. See example 5.3