correcting case doesn't use existing arrow,

[disconcision]

after entering "cawe x" " "| x =>" i get:

which is mostly expected, except for the space between the case and the x gets consumed (can file this individually if-desired; not sure what the status is now on space handling)

if i then try to correct by arrowing to the w, backspacing, arrowing to the end of the case, and entering space, i get:

where i would expect it to use the existing arrow

[disconcision]

Similarly; don't think this is a distinct issue, but not totally sure the space aspect is the same as it doesn't involve an expanding delimiter this time:

entering "set x = 7 in x" yields this:

similarly, unexpected that it consumes the space between in and x

similarly, correcting by back arrowing, backspacing the s, entering l, arrowing to the end of the let and pressing space yields:

[disconcision]

Minified version of the space issue in the latter.

given:

pressing space yields: