Ordered Sets: emit_add and emit_remove: provide locations in options; emit_update: provide move in options