add an opaque Text type to the language standard
Add the Text datatype to the language.
The text package for GHC exposes a Text datatype that represents a string.
The current String = [Char] standard has issues with
- efficiency: there are more efficient representations than linked lists
- correctness: for Unicode correctness, one must operate on a string as a whole rather than individual code points
see OpaqueText