Added definitions for (Is)DecStrictPartialOrder to Relation.Binary