Earlier quoted context omitted.
Nim is great, and I use it (in production), but I know exactly why it isn't as popular: Nim is fucking huge. Most programmers I know don't even know what a pragma is; Nim uses them extensively. Nim has types, objects, is low level, can be compiled to shared objects (something that didn't come out to Go until 1.5), macros, generics, templates, oh and it compiles to both C and JavaScript (and C++, and Objective C in ca…
What you've just described is a hodgepodge of stuff thrown together. That's a lack of language design with a surplus of features. My readings on older reports for language designs showed the art was figuring out just how much power to include in the language & keeping it all consistent/sensible. One can overdo it. An example of a clean, carefully-thought language that's low-level, consistent, and very powerful is Pre…
Here's someone who planned to create cleaned up subset of Nim: http://www.13rhinos.de/
I have no idea about viability of this project but it was his recent plan.