scratch/GC: progress with data structures and traversals