We'd have to either remove `@` as a type in the language, deprecate all usage of `@` in favor of `Gc<T>`, or be able to designate that some other crate "owns" `@` to define traits on it. I'm kinda hoping for the second option!