Qual é a maneira mais simples de definir uma macro de captura usandodefine-syntax oudefine-syntax-rule em Racket?

Como um exemplo concreto, aqui está o trivialaif em um sistema de macro estilo CL.

(defmacro aif (test if-true &optional if-false)
    `(let ((it ,test))
        (if it ,if-true ,if-false)))

A ideia é queit será ligado ao resultado detest noif-true eif-false cláusulas A transliteração ingênua (menos alternativa opcional) é

(define-syntax-rule (aif test if-true if-false)
    (let ((it test))
       (if it if-true if-false)))

que avalia sem reclamações, mas erros se você tentar usarit nas cláusulas:

> (aif "Something" (displayln it) (displayln "Nope")))
reference to undefined identifier: it

oanaphora ovo implementaaif Como

(define-syntax aif
  (ir-macro-transformer
   (lambda (form inject compare?)
     (let ((it (inject 'it)))
       (let ((test (cadr form))
         (consequent (caddr form))
         (alternative (cdddr form)))
     (if (null? alternative)
         `(let ((,it ,test))
        (if ,it ,consequent))
         `(let ((,it ,test))
        (if ,it ,consequent ,(car alternative)))))))))

mas Racket não parece terir-macro-transformer definidos ou documentados.