I don't quite understand the claim that the `@T` syntax has been removed from the language if `Gc<T>` is still just a wrapper around `@T`.