unsigned add_typed_string (int type_index,
const char *name)
Add the typed string specified by name (of type type_index) into the typed string literal pool in the system page and return the index.