代数 - 全順序化

部分順序のみ与えられている型に全順序を与える. ついでに全同値も与える.

このコードは qiita.com/hatoo@github/items/fa14ad36a1b568d14f3e にあるものを拝借した. 作者の @hatoo に感謝します.