Tidying up quickcheck property specifications