Refactor processing of inequalities with oo [8/9]

Fix physics/quantum tests due to simple bug
in Expr._eval_interval (check for NegativeInfinity singleton)

(Thanks to Aaron Meurer for idea)
Refactor processing of inequalities with oo [9/9]

Fix doctests in delta.py