On a mundane note, currently NTHCDR isn't required by CLtL to have a SETF method. Unlike (setf (sqrt...)) and (setf (not...)), this one seems to make sense and should be easy to agree on.