This denotes the set of all objects of the
type determined by the union of the typespecs.
For example, the typelist by definition is the same as (or null cons).
Also, the value returned by position is an object of type(or null (integer 0 *));
i.e., either nil or a non-negative integer.