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

JacquesCarette merged 4 commits into

agda:masteragda/agda-stdlib:masterfrom

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