Ah, yeah, you're entirely right about the regexes. My mistake. So I think we mostly agree. My question is then: what are strings for, if not Text? It makes

Ah, yeah, you're entirely right about the regexes. My mistake. So I think we mostly agree. My question is then: what are strings for, if not Text? It makes a terrible enum, a weirdly-limited escape-hatch for ignoring type systems, and an immensely wasteful protocol.