Fun fact: In all the implementations I could find (Racket, Guile, Unsyntax), Scheme's Syntax Parameters cause an infinite loop in the expander if you parameterize with a transformer that itself uses the macro being parameterised. I personally think this is bad and don't know how it didn't come up either in the original paper or the SRFI or any of the implementations.