Add missing difference and  to sets module

As `+`, `*` and `-+-` are defined for TSets as well as the bitvector sets, I guess `-` should be too.