Added construction for bounding type-set by a type-union (every element is one of ...)