Nim need restrictions for values in type system

[willi_kappler]

Wow that's really amazing, thanks for sharing!

Nim is very powerful indeed.

Would you mind to put this into a library and make it available via nimble ?