Minor fixes

This has the REPL fix you mentioned during the workshop, and a proper test for impure delete.

Apologies for all of the extra whitespace changes, that's a setting in my text editor :)