What would be good names to distinguish the numeric vector 13 10 from ⎕UCS 13 10?
Newline and NewlineSequence could be either.
NewlineString for the latter is inaccurate as it is actually a character vector, not a string (and NewlineCharacterVector is just too unwieldy)