Explore.Universe: add ⊎ and Σ