Exercise 4.14.  Eva Lu Ator and Louis Reasoner are each experimenting 
with the metacircular evaluator. Eva types in the definition of map, and 
runs some test programs that use it. They work fine. Louis, in contrast, 
has installed the system version of map as a primitive for the 
metacircular evaluator. When he tries it, things go terribly wrong. 
Explain why Louis's map fails even though Eva's works.

————————————————————————————————————————————————————————————————————————

The system version of map uses the system versions of car, cdr, apply, 
and so on, which are not the correct versions to use.  In this case the 
car and cdr primitives are the same (since the metacircular evaluator 
represents lists as the underlying lists), but apply is different and 
the system apply will not work on procedures created within the 
metacircular evaluator.