Equivalex

Polymorphic constant-time comparisons.