Assortment of fixes.
Add constraints and isPolyedral methods to numerical domains.
Add tests for isPolyhedral and constraints methods.
Add a benchmark program for Int+Parallelotopes.