Переопределение специального оператора с помощью MACROLET?

Я пытаюсь переопределить IF локально (цель - встроить DSL).

Поведение меня действительно смущает. В СБКЛ:

(macrolet ((if (x) x)) 
  (if 'x)) ; => X

(macrolet ((if (x) x)) 
  (let ((x 2)) 
    (if 'x))) ; => Execution of a form compiled with errors.

(let ((x 2)) 
  (macrolet ((if (x) x)) 
    (if 'x))) ; => Execution of a form compiled with errors.

Есть идеи, почему он так себя ведет?

Я также пытался использовать интернированный символ xxx::if, но безуспешно, SBCL все еще думает, что это специальный оператор, в каком бы пакете он ни находился.

Можно ли как-то правильно переопределить специальный оператор локально? Или, по крайней мере, буквально переопределить, что означает, что можно ввести if, и оно будет расширено (может помочь использование некоторой магии чтения, но я не знаком с этим).

Обновление (решено): точное сообщение об ошибке для второго, которое я получал

Execution of a form compiled with errors.
Form:
  (MACROLET ((IF (X)
             X))
  (IF 'X))
Compile-time error:
  Lock on package COMMON-LISP violated when binding IF as a local macro while in
package COMMON-LISP-USER.
See also:
  The SBCL Manual, Node "Package Locks"
  The ANSI Standard, Section 11.1.2.1.2
   [Condition of type SB-INT:COMPILED-PROGRAM-ERROR]

3-й аналогично.

Оказывается, использование xxx::if заставляет это работать. Я просто неправильно затенил символ в предыдущем эксперименте.

Простой способ заставить это работать:

(defpackage p)
(macrolet ((p::if (x) x)) 
  (let ((x 2)) 
    (p::if 'x))) ; => X

Если вы хотите наследовать другие обычные операторы CL в P, просто выполните (defpackage p (:use :cl) (:shadow if)).