Well the stdlib must not use `system.lose` and we could enforce that in the compiler.
It's much better to have fewer pointer types and more procs operating on them than the other way round. Every new pointer type introduces new composability problems. Both `gcref` and `lose` can only work with the `=trace` idea so a dedicated pointer type for that doesn't simplify anything for us, afaict.
