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