Remove unused Ord constraint from Map and Set Binary instances

The Ord constraint is unnecessary, and prevents automatic derivation (using the "derive" package) of Binary instances of structures that contain Maps and Sets.

The Ord constraint here does not actually help guarantee any property of the resulting Map, so as far as I can see, it only has negative consequences.