Operator override

TODO: https://github.com/tlaplus/tlaplus/issues/413#issuecomment-571330604