Dethroning C++

I've designed a checklist that would instantly decide if language will be a C++ successor or not. Every line is requirement for a "language that will dethrone C++", 9/10 wouldn't cut it.
1.No dependencies on GC/refcounting.
2.Object abstraction system(as powerful as in C++).
3.Same or better execution speed(compared to similar C++ code).
4.Type-inference,type-inferred lambda expression.
5.Strict type system with escapes(fast casts, conversion).
6.Clear and terse imperative syntax.
7.Large standard library with functional/OOP/procedural programming support. Must include threading and graphics.
8.Support for low-level code(such as inline assembler and OS/hardware interfaces).
9.Text-generator(aka #define a(b)) and code-generator(template/mixin/lispmacro) macros.
10.Operator/function overloading without restrictions.

Sepples' main territory doesn't need any graphics because it isn't games. If it's optional, you are just going Java, complete with implementations that are either hopelessly incomplete or abstract over fucktons of OS functionality just to be considered compliant.

Text generators are useless in the face of code-generators, especially of the Lisp kind.

Your Bento box includes everything for the sake of including everything and shits on usability, so I guess it can dethrone Sepples just fine. Good job.