[ fix #1694 ] Add ordered algebraic structures.#1752

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

sstucki:algebra-orderedsstucki/agda-stdlib:algebra-orderedCopy head branch name to clipboard