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?