New language

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

>>76
In the C++ type system you cannot express the variant relationship between the union and any tags you've supplied. The lack of type safety in this relationship is counted as a feature, see "type punning."