Dead reckoning for dictation mode by overriding insert() or key()

[Michael Arntzenius]

In dictation or mixed mode, any commands that manually insert text or press keys will not be taken into account by the dictation formatter. We could fix this by overriding either key() or insert() (note that insert() calls key() by default) as well as maybe user.paste() to update the dictation formatter state and then call actions.next().

This information could also be used by "nope that"/"scratch that", in principle.