Warning: regressions, use v1.1 for currently best results. Refactoring for easier sort extension and addition. Major overhaul of the numerical domain: explicit coefficients, `min` and `max` in terms, the `opti` relation with `min max (a,b)` as concrete syntax.