For what it’s worth, to evaluate how damaging introducing the name compression is, I did a search of GitHub for files containing import compression. This is, as far as I am aware, the only import pattern which would break by introducing compression at the toplevel. The total number of files found match was 82 (page may take a while to execute the search): Code search results · GitHub. For reference, there are almost 90 million Python files on GitHub.
So I think that reinforces my belief that putting compression at the toplevel will not break a large number of users.