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.

>>4
Having text macros and Lisp macros at the same time isn't multi-paradigm, it's retarded. Having OOP (thus subtyping) and type inference at the same time sounds nice, but is almost impossible to do reliably.

``like the good parts of all languages but without the bad parts'' isn't language design, it's wishful thinking, an illness that is way too common in Sepples fetishists. The worst part is that IMNHBT