A "global ident" is an identifier that is valid across files and contexts. These are interned globally and as a result are intended to be used "sparingly".
A "Text" is like a string except that it can be cheaply cloned.
You can also "extract" subtexts quite cheaply. You can also deref