[ add ] properties of `Relation.Unary` adjoints#2866

jamesmckinna wants to merge 9 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:unary-adjointsjamesmckinna/agda-stdlib:unary-adjointsCopy head branch name to clipboard