Но не все же переменные в проекте будут динамического типа. Сборка мусора при AOT компиляции, как мне кажется, может быть хорошо оптимизирована. Вот и я говорю - пусть будут проверки, но для тех "сущностей", которые признаны стремными при лексическом анализе.