Work
Also cite control-monad-exception package
Fixes
Write ..
Done with exceptions?
Rewrite introduction chapter 6
Fix introduction
Start on "Adding the trace"
Tabularize