rewrite view 8 invariants to sat

rewrite view 8 invariants to sat
rewrite greedyView 7 invariants to sat
make membership explicit, should revisit that....
rewrite modify -- 4 invariants left
3 invariants left
2 invariants left
StackSet has noDuplicatesliquid XMonad/StackSet.hsliquid XMonad/StackSet.hsliquid XMonad/StackSet.hs