Какие есть встраиваемые скриптовые языки с типизацией?

Интересуют встраиваемые скриптовые языки.

Для чего мне нужен скриптовый язык:
В программу нужно добавить возможность расширения логики без изменения основного кода.

Почему типизированный:
Указание типов уменьшает количество ошибок и позволяет отлавливать часть на этапе разбора скрипта(а не при исполнении)

Что нужно от языка:

• обязательное указание типов в синтаксисе языка
• возможность создания несколько объектов интерпретатора в одном процессе
• наличие программного интерфейса для отладчика
• поддержка языка в IDE

Что я смотрел:

• Lua - без типизации, поддержка типов в IDE через аннотации в комментариях
• Python - нельзя создать несколько инстансов в одном процессе, указание типов опционально
• AngelScript - отсутствует поддержка в IDE

Наиболее интересен для меня AngelScript, но отсутствие поддержки в IDE все портит.

Какие встраиваемые языки еще можно посмотреть?