Can you explain how Rust's string types would be different if there was no "legacy of C strings" to deal with?