BasicList
BasicList -- the class of all things represented internally as a
list. A list is a sequence of expressions indexed by integers
0, 1, ..., N-1, where N is the length of the sequence.
The reason for distinguishing List from BasicList
is so lists can be treated as vectors, without everything else
implemented as a basic list inheriting that behavior.
Other types of list:
