Similar to TypeIdentifier, but with a TemplateInstance as the root
Resolve a tuple index.
Takes an array of Identifiers and figures out if it represents a Type or an Expression. Output: if expression, *pe is set if type, *pt is set
See Implementation
Similar to TypeIdentifier, but with a TemplateInstance as the root