Monotonicity and modalities for predicates over types with orders#10

WhatisRT merged 3 commits intoagda:masteragda/agda-stdlib-classes:masterfrom

casvdrest:mastercasvdrest/agda-stdlib-classes:masterCopy head branch name to clipboard