Added C++ disjoint union.