Dijkstra et al

We mark objects grey while they are being traced
They only become black when ALL reachable objects from them are already grey.
Mutator: redirecting a pointer greys the new object
Termination condition: No more greys

- 26.5 -