Refactor processing of inequalities with oo

fixes #7775
fixes #7798
fixes #7841

this patch replaces #7800 and #7799
The change is coming from deltaintegrate (likely), not the quantum module. The result of integrating a DiracDelta has changed.