On Sun, Nov 27, 2022 at 12:32 AM Richard Stallman <rms@gnu.org> wrote:

> Our package system could adopt that practice instead of USE.
> That would avoid this problem entirely.

That already exists in Common Lisp packages, with nicknames.

AFAIU, the main difference between what you want and the Common Lisp
package implementation Gerd was proposing is that you want to ban "use" and
he wants to keep it. That doesn't seem like a technical problem to me.