experience report: attempting first MVU task issues

[disconcision]

1. starting from this state:

entering opening parens ends up with an extra space at the end:

2. then from this state:

attempting tab completion yields a FailedToPerform (doesn't advance caret as before)

3. then from this state:

pressing down key yields incorrect caret position:

4. then from this state:

entering "|" somewhat unexpectedly puts the arrow on the next line:

and pressing backspace leaves the whole rule as a ghost:

if I start entering the pattern, the arrow then pops up to the current line:

5. then from this state:

if I enter space and then "=" the following hole stays put, but if i just enter "=" with no preceeding space, the hole jumps up to the current line:

6. and then completing the arrow by pressing ">" causes the subsequent rule indentation to change:

7. and then from here:

inserting a wrapping parens inserts the closing on the next line, causing the "in" to move somewhat distractingly:

8. and then from here

inserting an opening parens results in the closing ghost ending up outside? which i assume is a bug but am not totally sure:

anyway, most of these aren't egregious but things are going to add up... i feel that about ~20-40% of token boundary actions causes something slightly unexpected to happen.