cosmetic: tersify a few things in base/loading.jl