And while we're at it, is with like CL "let" or "let*"?
(with (x 1 y 2) (with (x y y x) (list x y)))
-----
(withs (x 1 y 2) (withs (x y y x) (list x y)))