Using overlays instead of structured nodes.

This way it is possible to highlight finer grained elements. E.g., each
reference gets a highlight.
I.e., highlighting is not restricted to top level elements.