A coda:

Wolfgang just pointed me to this paper, which suggests that it is may not in fact be possible to solve the scope problem reliably in a pattern matcher based purely on syntax-rules:

<https://users.soe.ucsc.edu/~lkuper/papers/lambdae.pdf>

Daphne