Change printing of sized literals to match the proposal
Literals in Core were printed as e.g. 0xFF#16
:: Int16#.
The proposal 451 now specifies syntax 0xFF#Int16
.
This change affects the Core printer only - more to be done later.
Part of #21422 (closed).