Style guide: avoid `renaming` on qualified import cf. #2294#2308

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

jamesmckinna:style-guidejamesmckinna/agda-stdlib:style-guideCopy head branch name to clipboard