the values of this interval as a list, in order

Returns an empty list if `step` moves in the opposite direction of `through`.

For `step = 0` the result is the single element `from`: the
precondition guarantees `from = through` in that case.

Otherwise starts at `from` and advances by `step` until `through`
is passed or `T` overflows.