如何使用宏实现类型化球拍类型系统？

Question

我正在尝试在球拍中实现一个类型系统。但是当我编写macros.it时我遇到了麻烦。难以使我的系统与原始球拍语法兼容。任何人都给我一个像球拍中的简单类型微积分的例子？ 以这种方式写作似乎是不可能的：

(provide (rename-out [module-begin #%module-begin]
[app #%app] ...)
 ...)
(define-syntax module-begin ...)
(define-syntax app ...)