I notice that, at least in the interpreter, map, mapcdr, and walk are all proceedures rather than macros. Are these open coded by TC? If not, why not? It would seem to be the obvious thing to do.