Pruning of polytope faces with uncommon variables. Dropping, at least for now, the requirement that `opti` atoms be directed.
Giving up the binomial heap example at least for now, it is not suitable as a straightforward `min` / `max` example.