Implement Interval.minus()