git checkout 5ba6dd7fe8547f2fefec9b373c6449fc29173624

Problem: Allow (declare (irrelevant ...)) in defun forms, much as
(declare (ignore ...)) and (declare (ignorable ...)) are allowed.

See solution.txt for discussion thoughts recorded by Matt Kaufmann
during development of the solution, which is in patch.lisp.