Implement the `str` primitive type as `Str([u8])`