Concurrent Clean : CleanJ

ポインタのないJavaで、項書き換えを効率的に実装するにはどういう構造にするのがいいんだろう・・・
今の実装はどうにもad-hocな感じなんだよねぇ。
あと、eq_descは、結局のところ、どういうチェックが通ればＯＫなのか。Object#equals()とは違う気がするんだが。
もう一つ。descは、配列ではダメなのか？ ダメなら、どういう点がダメなのか？ ＯＫなら、どういう情報を付加しておけばＯＫなのか？