Saturating lvar class
WIP on FiltSet.
Merge branch 'filt-set' of github.com:iu-parfunc/lvars into filt-set
fromFiltSet complete
GADT version of LSM.
Merge branch 'master' into filt-set
Merge branch 'filt-set' of https://github.com/iu-parfunc/lvars into filt-set
Incorporate TLS in FiltSet.
Use a strict foldl in fromFiltSet.
Merge branch 'filt-set' of https://github.com/iu-parfunc/lvars into filt-set
Monomorphize FiltSet.

This makes fromFiltSet far easier to write (at the cost of genericity).
Add FiltSet Criterion benchmarks.
Fix merge conflicts.
Re-add SaturatingLVar instance for SatMap.

Also some minor refactors to prevent circular module dependencies.