Optimize PositiveOp for int/float, NegativeOp for int; reify RangeOp