Resurrect ==>
run.sh: generate jxml
Add smallcheck-test.cabal
deps
run.sh: configure
Generalize ==>
Add Setup.hs
Add folds, move code around
Reorder types
T.S.Property: export list
T.S: export list, docs
Document quantifiers
Edits the docs
Start fresh quantification context for the antecedent of ==>
Drivers: export list; repair smallCheck