Officially, this is of a special type 'multi-line string'. In v3, it is allowed to be a single string *or* an array of strings (to be joined by '', not '\n'). Our JSON writers always write the array form, but in memory it is always the string form. Is it possible to define a 'multiline-string' type?