* Changed `IsOrder' interface to hold the real data instead of `Proxy ord`.
    * It seems weighted order got much faster, but other orders lost speed...
* Updated elimination bench.