macros cannot implement the whole proposal. but still some kind of macro system may be a worthwhile addition to, say, the closure compiler