No work needed if update fun returns the old value again.
Fast key intersection in many bisects.
Cleanup, reuse at/2 where suitable.
More user-friendly README.