updated QCheck, adding test/suite types, more Arbitrary, PP and Prop functions