It would be really helpful if the LSP could diagnose undefined identifiers in global scope that might need to be imported and produce LSP level diagnostics. I don't know how hard this is, though, as I'm not sure how much accurate information the LSP knows about what is in scope.

I think the LSP doesn't really do diagnostics? It doesn't yet give syntax errors for instance.