[WIP]Created a Set Difference class

- [ ]: Write a printer of Difference
- [ ]: Return unevaluted Difference object when __subs__ fails
- [ ]: Write rules for interaction of Difference with Union and Intersection.