Ngo

- removed errornous print statement that gave different versions of the optimized encoding (BUGFIX)

- change setup to pyproject.toml only
- bugfix inf/sup calculation as aggregate boundaries
- bugfix aggregates as disjunctions
- performance improvements

- bugfixes and better domain computation

- add projection trait
- bugfixes