resolve_type_id
if (resolve_type_id(d, cand_id) == resolve_type_id(d, canon_id))
t_id = resolve_type_id(d, targ_type_id);
c_id = resolve_type_id(d, canon_type_id);
return resolve_type_id(d, type_id);
resolved_type_id = resolve_type_id(d, *type_id);
resolved_id = resolve_type_id(d, *type_id);