added dempster (no work).  Added lower/upper bounds to Iunion