参照カウンタがGCではないという解釈は非常識だけど、
解放のタイミングがコンパイル時に確定できる場合とそうでない場合を自動で検出して最適化するとか、
言語に制限を加えて常に確定できるようにするとかいった方向でなら面白いことが出来そうな気もする。