про типы в кложе столько уже написано и скзаано, в т.ч. почему их нет. Кмк достаточно почитать раздел Rationale и Reference на оффсайте. А уж сколько на эту тему писал, и если уж интересно, то лучше почитать Stuart Halloway. Он неоднократно отвечал на эти вопросы в твиттере. Я уверен если ему адресовать, он еще раз подискутирует на эту тему.