BTW, if we do leave memq, etc., in the list library only, we should
consider rewriting or flushing the following 'or' example:
(or (memq 'b '(a b c))
(/ 3 0)) \ev (b c)%
and also the following 'cond' example:
(cond ((assv 'b '((a 1) (b 2))) => cadr)
(else \schfalse{})) \ev 2%
both currently in base.tex.
Kent