Begin incorporating Stefan's feedback. Includes doc changes and some initial rework of pending-undo-list and primitive-undo
More work on undo-primitive-elt
Clerical changes
Clerical changes
Clerical changes, about to move valid-marker-adjustments out of undo-primitive-elt.