Goals [and Contributions]
Section labels
Lit review intro, citation for malloc/free
Add examples of garbage collection on a tiny heap
Remove 'Traditional' algorithms, just have GC and Hybrid GC
Example formatting
Include full program in Hoare tree
Distinguish between extraction and refinement
Illustrative formulae for Myreen and Birkedal
Lit review summary
Problem analysis intro
Add note about performance to evaluation