The declaration of valptridx_specialized_types needed to be found by Argument Dependent Lookup, but this was inconvenient for some types. Split the declaration of valptridx_specialized_types out from the definition of valptridx global subtype.