Ngo

- 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

- simplified logging, also usable via API of python logging class
- extend most simplifications to optimize constraints