Remove icky \alloc definition and usage in mark-sweep correctness definitions
Remove \alloc from mark-sweep proof, and be more explicit with working
Remove icky hand-wavy 'cell ID' and allocation from the definition of copying
Remove stray occurrence of \alloc in mark-sweep
Remove \alloc from copying correctness
Remove \alloc from general formalism
Remove \alloc from evaluation
Remove \alloc macro
Merge branch 'no-alloc'