optimize batch

During batch processing it should be possible to remove unnecessary changes, e.g. for a change ~A that completely reverses A:

optimize(A, B, ~A, C) -> (B, C)

Examples include addition and later removal of the same set item; replacement of a list index; replacement or removal of a map key.

This is valuable when applying changes to backing stores since you can simply skip useless operations.