Nicer properties and QuickCheck2