Return a new type environment binding specialized type parameters of sym to the given args.
t2? All type variables in
are defined in
Is the given environment a valid specialization for sym?
It is valid if each binding is from a @specialized type parameter in sym (or its owner)
to a type for which
sym is specialized.
Reduce the given environment to contain mappings only for type variables in tps.