ResolveOneOfValueTypes

type

Resolve the union type for the entire valueTypes tuple.
Maps each entry to its resolved type and produces a union.