> I would have literal sizes be interpreted based on the first requirement of their usage, rather than having an implied default size.

That's a good idea, Ada and Haskell both do that.