I tried to implement a 100% compliant R7RS-small macro system. The problem is that I lack the necessary knowledge to jump from defmacro to syntax-rules. Apparently, it is not possible to build syntax-rules on defmacro. I have looked at "Macro by Example" in SLIB which implements non-compliant syntax-rules using defmacro.