Lists, Texts and ByteStrings with type-encoded length