refactor(*): drop `lattice` namespace (#2166)
* refactor(*): drop `lattice` namespace
Other changes:
* rename `*neg*` to `*compl*` in `boolean_algebra`.
I didn't touch `sub` in `boolean_algebra`; should it become `sdiff`?
* Fix some compile failures
* Fix the rest of compile failures
Drop `real.Sup` and `real.Inf`, define instances instead.
* fix build
* fix build
* Fix build
Co-authored-by: Chris Hughes <chrishughes24@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
