Added definitions for (Is)DecStrictTotalOrder to Relation.Binary.