Rename Properties to Properties.Map

--HG--
rename : tests/Properties.hs => tests/Properties/Map.hs
Split common test code into its own module

--HG--
rename : tests/Properties/Map.hs => tests/Properties/Common.hs
Fix some silly bugs exposed by QuickCheck
Add QuickCheck tests for the Set type

This exposed quite a few silly bugs, which I fixed in the previous
commit.

--HG--
rename : tests/Properties.hs => tests/Properties/Set.hs