C++ (new) modules vs. Nim modules

[Araq]

> Moreover, C++ modules impose their own type system anyway, being a template 
> or not.

How so? (Just because ML has something named modules and it's related to its 
type system that doesn't mean other module systems always impose a "type 
system".)