ConstList

ConstList is one of E's standard table types, and a subtype of EList. A ConstList holds an arbitrary number of references in a particular order, and allows typically constant-time access to any element (identified by number).

A ConstList is PassByCopy, and therefore Selfless.

The ConstList maker is available in the safeScope as. (XXX should it be acceptable style for ordinary code to mention __makeList, or should it be reserved for expansions?)

The ConstList guard is available in the safeScope as

Maker protocol
Returns a ConstList whose elements are the arguments.

Protocol
The majority of ConstList's protocol is that of EList. (XXX or is it all?)

XXX not written

Guard protocol
Returns a guard which yields only ConstLists whose elements coerce by elementType.

XXX describe element coercion behavior