'macros' don't buy you much in that case. you'll need a few functions, too.

But that's not the point anyway - you can implement lots of things on top of Lisp.

Lisp is based on a specific evaluation model. Not term rewriting. The way macros are computed is slightly related (since they take source and return source), but that's all.