Я думал, это больше для того, чтобы из коробки бьіло меньше синтаксиса -> бьістрее компиляция
ты же не будешь держать две системы типов — одну с линтипами, другую без. точнее, не 2, а 2^n. есть одна система типов, включающая вообще все фичи, но они фильтруются.
так что новые фичи усложняют компиляцию и кода, их не использующего