The union of the types of all values recursively within this bin. If this is nil, then it can be recomputed when needed and cached.