Not sure if this was ever discussed so I will throw this idea here: The Nim compiler has very complicated built in type rules for int types handling, to make int, int16, uint types mixable without explicit type conversions. Is is possible move out this logic from compiler into a set of converters defined in stdlib module? Users preferring strictness would not import it and they will need to convert types explicitly, while those who are relaxed can import it.
Disclaimer: It is untested idea
