Now I see -- that's great, thanks. (It was the missing UNIQ that
got me, I can add parens :))
I think that if we kept going down this direction we would
eventually come up with a macro system that was "hygienic in
practice". Building a good and simple hygienic macro system is a
very achievable goal.
All I really want to say is that there isn't a trivial silver
bullet solution: A simple module system doesn't fix name
collision. A simple code walker doesn't fix it (it needs
integration with the environment.)
I eagerly await the version of Arc that has a macro system where
name collision can be avoided.