Update on implementation-only imports

The core work is already present in the compiler; it's just (unfortunately) all using internal, non-stable language features.

4 Likes