Add more design doc, revert part of 4c80376
More comments and TODOs for the design. Partial conversion to use undo-delta-data instead of undo-deltas, so tests won't pass.