Make `orKeep` and `mustChange` take its state variables as heterogeneous variadic args

[shonfeder]

Currently they are typed as taking a free variable, and documented as taking a set, but as per our meeting today we think it'll be most ergonomic and consistent to take the state vars as heterogeneous variadic args. E.g., orKeep(P, a, b, c).