Cleanup, added ClaferMOO sums of subsets calculation
Merge branch 'amalgam-int-elision' of github.com:TeamAmalgam/kodkod into amalgam-int-elision