> It seems to me like when a symbol is bound to a name inside a function, that binding should temporarily override whatever is in the global symbol table; but that doesn't seem to be the case.
Macros are a special case. If it's a globally defined function, then the temporary binding overrides. But if it's a macro, then it doesn't.
