On page 181 of Steele this is (I think) addressed under the description of the package 'lisp'. This seems to include only those symbols in CL. There is another harder semantic problem for you though: what about extensions to the functionality of the base CL functions? If your CL allows (for example) circular sequences in the sequence functions, etc, this will not flag the incompatibility. Doug