Include previous Armstrong/Virding section, and expand on todo
Outline of other sections of mark-sweep correctness
Definitions of heap/cell/pointer/reachable in chpt. 4