Should `opaque type`s subtype `String`?

[armanbilge]

Came up in #592 (comment) but we deferred the decision.

[japgolly]

We can close this now, right @armanbilge ?

[armanbilge]

Actually not yet, we didn't make a decision on this since we can do it compatibly at a later stage. Would appreciate your insight here 😁

[japgolly]

Oh right. Went and read the comment. Yeah sounds good to me, is there any reason not subtype String?

[armanbilge]

Don't think so! I can make a PR with this, but it doesn't have to block the RC.

[japgolly]

Actually it should only take a second. How about I regex up a PR and then cut an RC right after?

[armanbilge]

Go ahead! You're too fast for me 😆 🐌