If your macro isn't changing execution semantics, it probably doesn't need to be a macro.

This is why (if needs to be a special form if your language is eager, but you want to have short circuit conditionals. If you language is lazy, lots of things DON'T need to be macros.