Do not demote a decl if it is used in more than one match
Try install QuickCheck 2.6 before hspec to bypass https://github.com/hspec/hspec/issues/163
QuickCheck 2.6 must be installed earlier for travis
Check that QuickCheck 2.7 works with new hspec
Fix 2 previous failing tests, provide test case for liftToMod
Simplify test case
Stop the recursion to only add parameters once
Preparing for new version