Remove stale (1.x) deprecation warnings and their associated names#3034

jamesmckinna merged 28 commits into

agda:masteragda/agda-stdlib:masterfrom

silas-hw:stale-deprecationsilas-hw/agda-stdlib:stale-deprecationCopy head branch name to clipboard