Thinking on balanced trees.
   What kind of update properties are needed to retain the balanced tree
   behavior, where few index updates are needed for append-to-end
   behavior?
   For one thing, there's a deep subtree that is copied up as the same
   reference repeatedly. If my code is functioning correctly, it hopefully
   does this.
   One thing my code does diffe