I think, source code incompatibilities will be bearable, because the compiler will issue warnings where current source code has to be changed. The only remaining issue is that n-bit-padded booleans can no longer be defined if (3) is not implemented.
which suggests to implement (3) at least for Booleans.
Regards,
Adriaan van Os