String encodings version #943,123,151

This drops the the NUL terminator byte entirely, sets 0x80 for all bytes
comprising the string, and relies on KIND_* bytes *not* having 0x80 set
to detect end-of-string.