syntax-caseひとまず完成

syntax-caseを使用したマクロの実装がひとまず終了しました。
ただ、現時点でR6RS準拠のレベルまで達成することはできませんでした。
たとえば、R6RSの仕様書にある、with-syntaxを記述する次のようなマクロは現在うまく動作しません。
------------------------------------------------

(define-syntax with-syntax
  (lambda (x)
    (syntax-case x ()
      ((_ ((p e0) ...) e1 e2 ...)
        (syntax (syntax-case (list e0 ...) ()
          ((p ...) (let () e1 e2 ...))))))))

------------------------------------------------

けれども、syntax-case, syntax(#'), quasisyntax(#`)や意図した変数の捕捉は可能なので、マクロとしての表現力は上がったと思います。