По поводу mutability control и т.п.

Сначала помудрят с этими супер-инвариантами, потом таки придут к умеренности. Как у MS: "возможности контроля, заложенные в Sing#, оказались избыточными для реальных нужд".