I don't know what you're arguing about. The interface types proposal defines a string like this:

    string ≡ (list char)

char is defined to be a Unicode scalar value (i.e., a non-surrogate code point).

Basically, this is "the most safe alternative"??!