CLtL says, p. 73 "The predicate ATOM is true if its argument
is not a cons."
Is ATOM supposed to be true of non-COMMON data types as well?
My opinion: unless the non-Common data type is a subtype of CONS, ATOM
should be true of it.