参照できないものは、どうなっても関係ないから、
GCされるとかされないとか、意味論的には考える必要ない。

効率や実装技術を語りたければ、考える必要がある。

Lisp/Schemeは明示的なオブジェクト消去操作のない言語なので、
(処理系依存のmemハック系関数は除く)
参照方法があるものは必ず存在する。