pub type SetEx = Expr<SetValued>;
A set-valued expression — intervals, finite sets, unions.
pub struct SetEx { /* private fields */ }