allow conversion from Bytes/String types to shorter length types, e.g.
convert `Bytes[20]` to `Bytes[19]`

this will become important when we want to allow generic bytestrings
inside the type system (`Bytes[...]`) which can only be
user-instantiated by converting to a known length.

… check