Differences implemented
Code simplified
Merged with intersection
intersectionWithKey and differenceWithKey unified
Error messages fixed
Flesh out the Set type a little
Remove redefinition of Control.Arrow.first.
Remove trailing whitespace.