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
[auto] merge master into gh-pages
[auto] updated html listings