Tweak introduction wording
Tweak wording in lit review
Tweak wording in problem analysis
Tweak wording in formalism
Start on evaluation methodology
Start on mark-sweep correctness
Describe the Armstrong/Virding Erlang collector, and argue it is correct