Attempt 2 at powerset, clafermoo ints, revised formulas
Merge branch 'amalgam-int-elision' of github.com:TeamAmalgam/kodkod into amalgam-int-elision