WrappedInterval domain as copy of Interval; replaced in IntDomList for testing.