Intervals: New data structure to handle integer domains

Difference (-) still missing.