Add QuickCheck properties for datatypes.