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