A lot of the things you mention are pretty self-contained (you have to enable specific compiler flags), or they're implemented using the macro system or templat

A lot of the things you mention are pretty self-contained (you have to enable specific compiler flags), or they're implemented using the macro system or templates, and so in theory at least it's not bloating the compiler. Compared to something like Haskell (GHC), I think Nim is pretty lightweight and not too bloated.