copying in Ed's code
Update Ed's code, which now works with reduced visibility.

However, the Solution constructor is now public. This was unavoidable.
copying over int elision tests from Ed
reducing scope of local variables, making things final, etc
Remove some printlines
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
removing unused variable and some bogus comments EqualityFinder
tightening IntExprReduction
tightening IntExprReduction
Remove commented out code
NaryFormula seems to work, however requires more testing.
Checking in some changes to intelision for safe keeping.
Fix build break.
Fix the replacements for the apache models.