[WIP] bytes, strings: exploring more efficient string representation

`i <= 8` assumes that `sizeof(b.pointer) == 8`