Would `import type { x as y } from `./foo.x` not work?