>>815 に書いた GCは普通の Generational GCと一緒ですね。
ちょっと考えたんですが
(+ (f) (g)) という式があると (f)と(g)でつくられた数以外の
オブジェクトは開放できると思います。
リスト、ベクタ、手続き、継続以外と型を特定できる部分があれば
使えます。
動的にチェックする手もありますが上の4種だった時や、
あんまり開放できなかった時がいまいちかもしれません。