Add missing difference and  to sets module

As `+`, `*` and `-+` are in the sets module as well as the bitvector sets, I guess `-` should be too.