The complete binomial heap example.
Timeout for the main algorithm loop. Concrete syntax for `opti(a,b)` is `min|max(a,b)`. Progress on representation rewrite om the numerical domain.
Do not eliminate parameters while eliminating universally quantified variables.