Use new two arg Map.map.
Added codex-highlight-element.

It's pretty primitive, but I'll be adding more fanciness in a bit after I sort
out a global "list of store+loc to navigate through" mechanism.
Use standard VisitList mechanism.

This replaces our bespoke bits for compiler errors and test failures. Yay!