Type widening allows conversion from signed to unsigned.

[patrikberg-cinnober]

The code that performs type widening, allowing conversion from e.g. uint32 and uint64 also allows conversion from signed types to unsigned types, e.g. int32 to uint64. That kind of conversion should not be allowed.