> What C++ (and Lisp) gets right is providing user code with the same powers as the compiler.

So what part of that isn't fulfilled by compile time function evaluation and mixins and it's extensive introspection features? I feel like maybe you haven't looked at D quite hard enough to see why it's awesome.