Add modulus operator (%)

[shoooe]

Add modulus operator (%)

[shoooe]

This is actually very interesting. Modulus cannot be represented with out current (domain is only between 1 range of values). For example:

x : [18, 23]
y : [16, 19]
x % y : [0, 7] U [18, 18]

So this means that we have to be able to specify domains with multiple ranges, before going forward.

[shoooe]

Oh and multiple ranges have this very nice effect:

x : [0, 10] ∪ [15, 15]
y : [45, 52] ∪ [67, 90]
x * y : [0, 520] ∪ [675, 780] ∪ [0, 900] ∪ [1005, 1350]