I was about to say the same thing. Since Io represents the program as an expression tree of messages, you can write macros to operate on the message tree, and

I was about to say the same thing. Since Io represents the program as an expression tree of messages, you can write macros to operate on the message tree, and they work for Io's syntax as easily as Lisp macros work for Lisp syntax.