Fine-grained intRange

[JLiangWaterloo]

Specify intRange per Clafer, fallback on default if not explicitly specified, i.e., same way it works for scope.

[mantkiew]

It would be great to be able to specify the domain right in the declaration, like this:

age -> integer<0..150> 1..1 

which could be desugared to

age -> integer  1..1 
    [ this >= 0 && this <= 150 ]

Also, one could set allowed values like this

age -> integer<in 2, 5, 7, 10>  1..1 

which could be desugared to

age -> integer  1..1 
    [ this in 2, 5, 7, 10 ]

It's worth discussing...