Added disjoint union (+) function