An interval is a type that represents the ordered sequence of integers between one integer and another
We program the type Interval with value semantics