型システムを詰めた方がいいのでは？

>>195より、基本はC#で、mix-in用モジュールと、Pascalみたいに集合を加える。
(部分範囲型は…あるとint, longなんてのを統一できていいと思うけど…どうでしょ)
GCがあるみたいなのでポインタは無しかな。ついでに>>481も加えさせてもらうとこんな感じでしょうか。

参照型
　class
　　array(範囲指定無し)
　　　string
　　delegate
　interface
　mix-in-module

値型
　struct
　　enum(部分範囲型？を含む)
　　　整数
　　　char
　　flag(集合)
　　実数
　　array(範囲指定有り)
　　　string(リテラル(長さがわかっているから))

で、この頂点にObjectクラスが来る…と。
stringは配列の一種とみなしてツリーを作ってみましたが、別にした方がいいかもしれません。