Improvements to inequality solving

fixes #8206 (please feel free to any others that are related that also work with these changes)
fixes #8518
I'm not -0 to this, but it seems - we don't use `oo`, `I` and friends in the library code.