Corrected bugs in monoid_sequence introduced by my indecision about parameter types.
Added support for relexing a (usually) small portion of the source text after every edit.