loading: More simplification (#59881)
Mostly unswitches the distinction between a top-level load and a load
into another project. The hope is that by keeping the code load flow
more linear, it becomes easier to follow. No behavioral changes
intended.