Start playing with Domain idea
Domain, Interval, IntInterval and OrderedSet work
Exchange IntInterval for type arg to Interval
Add __cmp__ function to Value