A better way to ask "is this type an instantiation of that template"

Right now, perhaps the best approach to this is to check the instantiated type's name and namespace in hopes that nothing else happens to have that combo. A more reliable check would be welcome. A reference on the instantiated type to its template type is probably an easy win, but we would also need an easy way to get a reference to the uninstantiated template type since `resolveTypeReference` won't allow you to reference uninstantiated templates.