self-expanding macros: ((mac x y)) -> (x) -> y