What about a spelling-correcting reader that does spelling-correction on the symbols it reads? When reading out of an editor buffer it could put any changes back into the buffer so they would go into the source automatically.