On the one hand, almost everyone (including C++ fans) agrees that the language is too big. On the other hand, comtracts just formalize an existing and useful concept.
Exactly. Many years ago people used to use C `struct` for objects but then that was formalized as `class`.
Profiles should (hopefully) rein this in by getting people to start subsetting language features in their codebases