chore(Archive,Counterexamples): use Type* not Type _ (#7663) This is an exhaustive replacement.
Type*
Type _