Besides, at the end of the day, a half-approach would be to have a widest-signed-integral and a widest-unsigned-integral type and only play with those two.
Clarification: to have those two types as fundamental (ie: promotion-favourite) types, not the sole types in the language.
