Add Or
Add ListContains
Add And
Finish implementing SetAdd
Change output format
Implement SetContains
Formatting
Begin abstracting equality