Make TypeInType stress test work
I used the attached file during my job talk. It is good
TypeInType stress test. This bug is to track several fixes that have been necessary to get it working. I have these fixes locally and will push in due course.