Increased version of stratagem
- Hopefully removed bug from set operations (some elements could be
garbage collected while they were being used in the union.
- Readded cache to all rewriters (increased speed)
- Fixed the bug in union (again)
super modularizer DONE