Relax the constraints on QuickCheck
Add back the old examples
Merge pull request #53 from gdetrez/master

Some examples were removed from the repository