impose a more principled set of constraints on sequences of allowed edits; update and expand documentation