(mac focus (var . body) (w/uniq (storage unbound) `(withs (,storage nil ,var (fn ((o arg ',unbound)) (if (is arg ',unbound) ,storage (= ,storage arg)))) ,@body (when (is arg ',unbound) ,storage))))
(mac focus (var . body) (w/uniq (storage unbound) `(withs (,storage nil ,var (fn ((o arg ',unbound)) (if (is arg ',unbound) ,storage (= ,storage arg)))) ,@body ,storage)))
-----
I agree your definition is better.