Rollup merge of #144746 - petrochenkov:extpreltidy, r=b-naber

resolve: Cleanups and micro-optimizations to extern prelude

This is what can be done without changing the structure of `ExternPreludeEntry`, like in rust-lang/rust#144737.

See individual commits for details.

Author: Zalathar