Using `tid` would be better for `TypeIdentifier` (`ti` is normally used for `TemplateInstance`).