New intro paragraph and abstract from Matt.
Non-colored nodes.
The old and the new.
Functors.
Implementations correct.
Petering out.