adj.
1. (of objects under a specified predicate)
indistinguishable by that predicate.
The symbol car, the string "car", and the string "CAR"
are the same under string-equal.
2. (of objects if no predicate is implied by context)
indistinguishable by eql.
Note that eq might be capable of distinguishing some
numbers and characters which eql cannot
distinguish, but the nature of such, if any,
is implementation-dependent.
Since eq is used only rarely in this specification,
eql is the default predicate when none is mentioned explicitly.
The conses returned by two successive calls to cons
are never the same.
3. (of types) having the same set of elements;
that is, each type is a subtype of the others.
The types specified by (integer 0 1),
(unsigned-byte 1),
and bit are the same.

n. a designator for a list of objects; that is,
an object that denotes a list
and that is a non-nulllistL1 of length n,
whose last element is a listL2 of length m
(denoting a list L3 of length m+n-1 whose elements are
L1i for i < n-1 followed by L2j for j < m).
The list (1 2 (3 4 5)) is a spreadable argument list designator for
the list (1 2 3 4 5).

v.t., n.
1. v.t. (an iteration variable) to assign the variable
a new value at the end of an iteration, in preparation for a new iteration.
2. n. the code that identifies how the next value in an iteration
is to be computed.
3. v.t. (code) to specially execute the code, pausing at
intervals to allow user confirmation or intervention, usually for debugging.