Minimum necessary to compile with QuickCheck
Comment lines
Add type signatures, rm type annotations
Create cabal test-suite using properties
Ignore vim .swp files