[circuit10]

This would be terrible, the point of the type system is to stop you making mistakes by accidentally treating one type as another

[mh7]

How would you make a mistake?

The only time signed vs unsigned matters is for comparisons and mul/div, and those have explicit names so you're never surprised that 0xFFFFFFFF is less than 0 when doing signed_less_than().