Added definitions for (Is)DecStrictTotalOrder to Relation.Binary.
Fixed typo in Relation.Binary.
Fixed small typo.
Merge pull request #17 from pepijnkokke/master

Adding `DecStrictPartialOrder` to Relation.Binary