IntervalEdge : added greaterThan and smallerThan + testing
Interval: added widen operator