Trying out associated data families for Snapshot instead of associated types
Bring DeepFreeze over from master branch
Ok, with a data family instead of type synonym, we can get the kind of lifting we want.
Tried to reach a bit further... but we're not getting away from the extra Snapshot types for now.
More of the same
Made some progress in porting 0CFA
Merge branch 'master' of github.com:iu-parfunc/lvars
Smidge more progress.  Port explore function.
Move lvish version of CFA out of the way.  Incremental progress.
restore original 0CFA alongside lvish version
Refactor: change arg order to modify
Add forEach and addHandler for Map.hs
WIP: cfa progress
Fill in a bunch of the extra Set operations.  Not tested yet.
Add a simple test for cartesian product
Add another test of 3-way cart prod.  Nondeterministic failures...
minor: note on debugging
Added logging infrastructure, fixed bug in nonscalable set implementation.
Added forkInPool.
WIP: a bit more progress