Change how quantification works
Make Series a separate type
Make Generics unconditional
Series: add MonadTrans instance
Start refactoring Property
Exists, ExistsUnique
Over
Docs, commented code
Update cabal file
Drivers
Make it build
Derive Show for success and failure
Generalize quantifiers
Derive Eq
Fix tf
run.sh: force rebuild
Add unit tests
Combined property tests
Uncurry functions for exists1
Update tests