Interval made immutable, tests for its contract added