nir/algebraic: Simplify some comparisons like a+constant < constant