fitspec-0.3.1: refining property sets for testing Haskell programs