New language

Runtime optional.
GC optional.
Static typing.
Binary compatibility with C.
Algebraic types.
Lambdas.
Traits.
Safe shared mutable state.

>>63
C++11:

Algebraic types.
Sorry, no.

Safe shared mutable state.
What are you talking about? C and C++ have no memory safety in the singly-threaded case.

>>66
Most likely structs with enums + unions (yes they would lose their ADT semantics) and function pointers, respectively.