I'm afraid I don't know enough about Nim's GC to answer these questions. As far as I know, variables are only traced if their type is `ref`. So the type system

I'm afraid I don't know enough about Nim's GC to answer these questions. As far as I know, variables are only traced if their type is `ref`. So the type system helps the GC a lot here I think.