> I like the idea of giving macros type information so they can actually report usage errors in a decent way.

You might also find interesting the Scala macro system (http://scalamacros.org/documentation.html)