interim commit; not yet working
added instruction
use the new instruction
precondition was wrong, and needed to flush part of the string/internal rep
Improved general case of [string replace] implementation.