Import types "above" a module with ..: for consistency and brevity?

Here’s a link to the new post about first-class support for local, unregistered packages.