No idea how easy or hard this is to implement, but it might be nice to have an option to remove optional builtins. prefixes for elements that are already in the prelude.

Maybe this option should be enabled by default and can be disabled in the configuration file.

This proposal is inspired by NixOS/nixpkgs#444432, whose discussion continues at NixOS/nixpkgs#449123.