Redo the editor.

Input is now stored as a list, not a string.
We only ever delete words, never characters.
Editing inline becomes much easier this way.
Clean up RENDER-STRING.
Clean up history rendering.