Update Operators

Operators of existing clauses can be updated individually, but in bulk as well.