[sv-ec] String proposal

Plase find an attached proposal that specifies the interaction between string and zero characters.

The proposal essentially disallows "\0" characters from being embedded in a string, and defines
the rules for converting string literals to strings or casting integral values to a string.

My apologies for the late notice.

    Arturo