Maybe we could make it so that only a few macros can't be overridden in call position? Like built-ins vs. user macros? Or would it be ok if we just made it so they could be overridden, and just warn people that overriding important macros is likely to have unexpected results?
