Eliminate many propositional equality imports#2002

Taneb merged 3 commits intoagda:masteragda/agda-stdlib:masterfrom

Taneb:eliminate-propeq-importTaneb/agda-stdlib:eliminate-propeq-importCopy head branch name to clipboard