型システムは任意の単一継承クラス階層を扱え、同時にクラスでないデータ型も扱える（不透明ポインタ、文字列、各種サイズの整数と浮動小数点数など）。
类型系统可以处理任何单一继承的类别架构以及非类别的型别，如不透明指标、字串跟各种长度的整数与浮点数。