The auto-simplify symbol defines the default simplification level for the primitive set operatiors. This is kind of a hack - I should probably prevent simplification all together and define an expicit simplify operator but it will be fast to add this test to existing code.
(define global-auto-simplify 0)