[ re #1752 ] add properties of ordered structures for Nat.#1759

sstucki wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

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