A half-open range of nonnegative integers.
begin is inclusive, end is exclusive.
interface range
subtypes deeply immutable list[nonnegative]
subtypes equality comparable