nir/algebraic: add optimization pattern for ('ult', a, ('and', b, a)) and friends.