fitspec-0.4.7: refining property sets for testing Haskell programs