allow for multiple opportunistic mutations

[llogiq]

At the moment, we only allow one operator to be switched in for another, e.g. + → -.

We should be able to swap in other operators, too, e.g. + → *. This will require extending the traits to cover possible combinations (e.g. types that Add and Sub, but not Mul or vice versa).