I don't think so. First of all, no other language has type overloading.
Second, generics and the type system in general are already the most complex part of Nim internals (or are within top 3). The accumulated cruft over the years inside is mind-boggling and I wouldn't add another complex project on top while we have so many corner cases in: * `generics` * `static` * `concepts` * `distinct` * `range` * `typedesc` * (early) symbol resolution * macros that manipulate types.
