Disjunction elimination involving equations not handled currently, convex hull only handles full-dimensional inequalities. Renamed disj_elim to disjelim.
More operators.
Disjunction elimination: eliminate linear equations with local variables.