Mention operator re-definitions

[lemmy]

Section https://learntla.com/topics/optimization.html#construct-don-t-filter might demonstrate how you can redefine operators. This way, users can keep a simple, more axiomatic definition in the main spec, while using a complex yet more efficient definition during model checking. A Java module override is kind of the most extreme variant of this technique.