Скажи, пожалуйста, для чего могут завтипы пригодиться в таком языке?
Для того, чтобы правильные шаблоны делать. И чтобы по сущностям можно было правильные сервисы генерировать, и если нужнр определить конвертер - изоморфизмы гарантировали изоморфность