Adding `min` and `max` to the numerical domain: algorithm sketches for abduction and (more importantly) disjunction elimination.