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
Merge branch 'master' into data-fams

Conflicts:
	haskell-prototype/Control/LVish/SchedIdempotent.hs
	haskell-prototype/Data/LVar/IVar.hs
	haskell-prototype/Experimental/DeepFreeze.hs
	haskell-prototype/apps/cfa/0CFA.hs
	haskell-prototype/lattice-par.cabal
Restrict exports from Control.LVish to only the safe ones.
Introduce distinct QPar type
Sketching some draft type classes...
Added another type/interface sketch using a phantom type parameter and DataKinds
minor: small addition to prev
bugfix
Move DeepFreeze into place and fix it slightly to deal with QPar
Prune speculative alternatives out of DeepFreeze
Bring DeepFreeze into SchedIdempotent
Wire up the deepfreeze examples as unit tests
Add runParThenFreeze and a test for it.  Add DeepFreeze instances for Set