More tests

Monoid laws, and some do blocks with lots of nesting, mapVing, mapKing.

also: can confirm that installing w/out a sandbox messes up hpc making its .hpc directory and tic files. Not sure why, still looking into it.