[ refactor ] use variables more systematically in Data.List.Fresh{.*} - #2916

[ refactor ] use variables more systematically in Data.List.Fresh{.*}#2916

JacquesCarette merged 21 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:refactor-freshjamesmckinna/agda-stdlib:refactor-freshCopy head branch name to clipboard