Now we can reuse the type inference inside a function when typing whitespace etc. :)
This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface.