Test properties and default-mains for QuickCheck
This package contains definitions of test properties and default-mains using QuickCheck library.