Is wrapping a String in a semi-opaque newtype (or a type alias at least) good to encode the semantic meaning of the string type?