Well, there's also term rewriting macros, which are basically full blown compiler plugins (and will likely be removed because they're so hard to get right