I find the `String` identifier creates a lot of overlap with default types and modules. It would be better to call it `Text`.