CachingEvaluation: Split into own module
Correct code in comment

map-IVT does not exist currently (not sure it ever did, I did not
investigate); what we want and does not work is simply map. Hence, fix
the comment to clarify it.