    "Abstract supertype of _ranged streams_ mapping a range of
     discrete indices to elements of the stream, and supporting
     operations that produce a subrange of indexed elements. The
     type parameter [[Subrange]] abstracts the type of the
     resulting subrange. A subrange may be obtained from an
     instance of `Ranged` using the _span_ and _measure_
     operators.

     Often, in a [[List]] or sorted map for example, an index
     and its element are distinct values. Sometimes, in a sorted
     set for example, the index and element are identical.

     The _span_ operator accepts the first and last indices of
     the subrange.

         print(\"hello world\"[0..4]); //prints \"hello\"
         print(\"hello world\"[6..6]); //prints \"w\"

     If the last index is smaller than the first index, the
     subrange is reversed.

         print(\"hello world\"[4..0]); //prints \"olleh\"

     If the range of indices identified by the first and last
     indices is outside the range of indices of this object, an
     empty subrange is produced.

         print(\"hello world\"[-5..-1]); //prints \"\"
         print(\"hello world\"[11..11]); //prints \"\"

     The first index may be omitted, implying that the subrange
     extends forward from the smallest possible index (in this
     case `runtime.minIntegerValue-1`) to the given index.

         print(\"hello world\"[...4]) //prints \"hello\"

     If the first index is before the first index of this object,
     the first index of the object is used.

         print(\"hello world\"[-5...]); //prints \"hello world\"

     The last index may be omitted, implying that the subrange
     extends forward from the given index to the largest
     possible index (in this case `runtime.maxIntegerValue+1`).

         print(\"hello world\"[6...]) //prints \"world\"

     If the last index is after the last index of this object,
     an empty subrange is produced. (A reversed subrange is
     never produced.)

         print(\"hello world\"[11...]); //prints \"\"

     The _measure_ operator accepts the first index and maximum
     length of the subrange.

         print(\"hello world\"[6:5]) //prints \"world\"
         print(\"hello world\"[6:0]) //prints \"\"

     If the length is nonpositive, the subrange is empty. If the
     range of indices identified by the first index and length
     is outside the range of indices of this object, an empty
     subrange is produced. (A reversed subrange is never
     produced.)

         print(\"hello world\"[-3:3]) //prints \"\"
         print(\"hello world\"[11:3]) //prints \"\"
         print(\"hello world\"[6:-3]) //prints \"\"

     The span and measure operations must be consistent. That is,
     for every pair of indices `x` and `y` in the ranged object
     `ranged` such that `y` does not occur before `x` and the
     span `ranged[x..y]` has length `n`:

     - `ranged[x..y]==ranged[x:n]`."
    see (`interface List`,
         `interface Sequence`,
         `class String`)
    shared interface Ranged<in Index, out Element, out Subrange>
            of Subrange
            satisfies {Element*}
            given Subrange satisfies Ranged<Index,Element,Subrange> {

        "Obtain a span containing the elements between the two
         given indices.

         The span should contain elements of this stream,
         starting from the element at the given [[starting
         index|from]], and ending with the element at the given
         [[ending index|to]], in the same order as they are
         produced by the [[iterator]] of the stream, except when
         the ending index occurs earlier than the starting index,
         in which case they occur in the opposite order.

         When one or both of the given indices does not belong
         to this ranged stream, the behavior is implementation
         dependent."
        shared formal Subrange span(Index from, Index to);

        "Obtain a span containing the elements between the given
         [[starting index|from]] and the last index of this
         ranged object.

         The span should contain elements of this stream,
         starting from the element at the given [[starting
         index|from]], in the same order as they are produced by
         the [[iterator]] of the stream.

         When the given index does not belong to this ranged
         stream, the behavior is implementation dependent."
        shared formal Subrange spanFrom(Index from);

        "Obtain a span containing the elements between the first
         index of this ranged stream and given [[end index|to]].

         The span should contain elements of this stream, up to
         the element at the given [[ending index|to]], in the
         same order as they are produced by the [[iterator]] of
         the stream.

         When the given index does not belong to this ranged
         stream, the behavior is implementation dependent."
        shared formal Subrange spanTo(Index to);

        "Obtain a measure containing the mapped values starting
         from the given [[starting index|from]], with the given
         [[length]]. If `length<=0`, the resulting measure is
         empty.

         The measure should contain the given [[number|length]]
         of elements of this stream, starting from the element
         at the given [[starting index|from]], in the same order
         as they are produced by the [[iterator]] of the stream.
         In the case where the iterator would be exhausted
         before [[length]] elements are produced, the resulting
         measure contains only those elements which were
         produced before the iterator was exhausted, and the
         length of the measure is less then the given `length`.

         When the given index does not belong to this ranged
         object, the behavior is implementation dependent."
        shared formal Subrange measure(Index from, Integer length);

    }