change substitutions to the more familiar name of generic arguments in the compiler.

this work was started in #113591 but there are still some uses of the old terminology left.

How to work on this

grep for remaining uses of subst, substitution and substitute and figure out how to replace them with the new terminology: instantiate and generic argument

cc #110254 @oli-obk