I believe this would be simpler if this was moved in ``interactive.Global.waitLoadedTyped``. What's the rationale for not doing so? 

Also, couldn't we call ``removeUnitOf`` instead of ``askFilesDeleted`` (the latter requires a full background compiler to be executed right away, and I don't see why this would be needed).