fitspec-0.4.5: refining property sets for testing Haskell programs