Added tagged values and disjoint unions