Continue work on Implementation chapter
Continue work on report
Tidy up CPS translation code
Continue work on report
Continue work on report
Add TODOs