Возникла задумка по "надстройке" над языком 1С (для меня актуальна 7.7, с 8.х я не работаю) по аналогии с языком TypeScript, который по сути является "надстройкой" над JavaScript.

Для тех, кто не в курсе про TypeScript.
Язык Type1S является расширением 1С, а именно:
* Любой код модуля на 1С является "легитимным" для Type1S.
* В расширение входит возможность описать переменную с указанием ее типа. Соответственно, редактор Type1S на этапе компиляции или в процессе ввода будет указывать на ошибки, зная интерфейс объекта переменной, использовать свой IntelliSense и т.д.
* В расширении будет возможность описать класс на языке Type1S со всеми вкусняшками типизации.
* При записи модуля на Type1S он компилируется в "чистый" 1С, включая классы.

Учитывая "возраст" TypeScript и то, что это не единственный вариант с подобным подоходом к JS, подозревая, что относительно 1С этим уже наверняка кто-то занимался, и возможно, что успешно.
Если вы знаете о подобных проектах, напишите, пожалуйста.