Added the possibility to create an empty Interval.
Added the exclusive union operation on Interval.