Fix "move" edit (formerly "big swap")

[matthewhammer]

One benchmark seems to handle big swap well: List_reverse_name. Others do not, such as Rope_mergesort_name. We'd like to learn lessons from the code that works to fix the code that does not.

[matthewhammer]

Some observations:

• list_reverse_balanced is eager, not lazy. rope_of_list_rec could be simpler if it were eager too.
• list_reverse_balanced uses a separate memo table for its accumulator (output structure).

Questions:

• For List_reverse_name benchmark: Is time going to updating the output, or merely observing the output?

[labichn]

@kyleheadley, was this completed in the OOPSLA push?

[kyleheadley]

There hasn't been any work on this problem since the 'move' interaction was created. 'Move' swaps the front half of a list with the back half, making it a far more dramatic change than any of the others. Right now the focus of research is on more applications of adapton, rather than expanding on what counts as 'incremental'