Simplify more `Relation.Binary` imports#2034

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

Saransh-cpp:Relation.Binary-imports-take-2Saransh-cpp/agda-stdlib:Relation.Binary-imports-take-2Copy head branch name to clipboard