fitspec-0.4.2: refining property sets for testing Haskell programs