Auto-complete should be type-sensitive

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.

まず、オートコンプリートの実装とカーソルコンテキストを処理するコードを見つけます。この issue では、特定のファイルやテストは指定されていません。現在どのように候補が収集されているかを読み、そのうえで、不完全なプログラムに対する型依存のフィルタリングをどのように評価できるかを判断します。関連する候補がヒューリスティックに絞り込まれ、役立つ補完が妨げられなければ完了です。

索引モデルが issue の本文から書いたものです。