Auto-complete should be type-sensitive

Nobody has claimed this yet.

We can do a better job of showing only the auto-complete options that might fit in a certain context. For example, we could look around the current cursor position to see if the user is typing a function call, and if so, look up the type of the function, and only show function names if they might eventually lead to the desired result type.

This would necessarily be a heuristic, since the user is typing the program, so it's guaranteed to not be syntactically correct most of the time; but there's a lot we can do.

Start by locating the autocomplete implementation and the code that handles the cursor context; the issue does not name specific files or tests. Read how suggestions are currently gathered, then determine how type-sensitive filtering could be evaluated for incomplete programs. Done means relevant suggestions are narrowed heuristically without preventing useful completions.

Written by the indexing model from the issue text.