While I like it from an ergonomics perspective, I think this would be prone to breaking in large codebases, and is also probably going to be horrible for an LSP to deal with.
Python/Guido deliberately chose the “from X import Y” syntax instead of “import Y from X”, and Mojo should probably just stick with it for the sake of consistency and familiarity. We don’t want to create unnecessary headaches for people coming from Python.
What will practically happen in this order is that this will make the LSP kick everyone’s CPUs on as they try to type an import statement. It’s probably better to make this an LSP action which inserts the import line for a type which wasn’t found.