RFC: int/uint portability to 16-bit CPUs

Both Issue #14758 and Issue #9940 call for RFCs.

This RFC summarizes those discussions, explains the core issue of
code portability to 16-bit CPUs (also of 64-bit code to 32-bit CPUs),
explains what's meant by "default" integer types, makes 2 specific
proposals, and proposes coding style for integer sizing.
Yes. Otherwise computing a value in one integer type then converting to another would accidentally bypass the overflow checks.