Он уже не дядя, а дедушка

Про вырезание типов - вырезано всё то, что мешало динамической модульности.
Например, перечисления и массивовые константы - непонятно, как их расширять и потом контролировать совместимость.