Syntax parameters allow us to play around with hygiene in a principled fashion.
stxParam it = function() { throw new Error("must be rebound"); };
let aif = macro {
rule { ($cond ...) { $body ...} } => {
var it_inner = $cond ...;
if (it_inner) {