[CSBindings] Mark type variables that represent type parameter packs as "involving type variables"
Such type variables are always dependent on pack expansion type variables
which should be bound first.
Resolves: rdar://109381194
(cherry picked from commit 5b5b3dd6923e6eb6c4a8959db7435a333ba5f797)
(cherry picked from commit ce826c2137d0dd157ba1926da5ef75c9d13e3441)
(cherry picked from commit 1728cca5f069215c3ab51dc01a68ec339641aab3)