Literals should deserialize.

[bigeasy]

We probably want to check them more often than not.

[bigeasy]

Actually, we had the concept of a padding that we don't care about, but that seems rare. Seems like the protocols will ask that you verify that the serialization included a specific padding. We may have space for a "constant" in the form of [ 'aa', 7 ] or [ 'aa', 8 ] and insist on the bits even though it could be inferred. Our literal or padding may not be useful and we can use that language space for something else, or clear it out to prevent any extension ambiguities.