http://kazimirmajorinc.blogspot.com/2009/12/symbols-as-sexpr...
This post describes implementation of hygienic (even recursive hygienic) fexprs in Newlisp.