Я вам тут немного магии подвез.
Тупенькое пока, конечно, но что-то уже умеет (см. видео). А именно смотреть:
* присваивания примитивов;
* Новый ЧтоНибудь();
* описание переменной, объявленной через Перем;
* возвращаемое значение локальной функции.

Причем это не единственный тип, а именно список возможных (см. картинку).

Доделывать еще есть что - параметры методов не типизируются, возвращаемое значение функций модулей и объектов-скриптов тоже добавить конечно же надо. Идеи по сужению типов с использованием control flow graph тоже в голове витают.

Но даже от этого можно наконец плясать с автокомплитом...