QuickCheck-2 support for the test-framework package
Allows 'QuickCheck-2' properties to be used with the </package/test-framework test-framework package>.