weight ch returns the weight of the change ch. Used to find the smallest patch.

test st xl xr tests if the elements xl and xr are co mpatible (Ok) or not (Error).

update ch st returns the new state after applying a change. The update_result type also contains expansions in the variadic case.