tightening intelision.VariableReplacer
tightening TemporaryTuple
tightening EqualityFinder
tightening ArithmeticStorageElider
TODO: why are fields in IntExprReduction static?
TODO: why are fields in Recompute static?
Merge branch 'amalgam-int-elision' of ssh://github.com/TeamAmalgam/kodkod into amalgam-int-elision