一、动态类型
变量能够类型自证的类型即为动态类型
二、基础与内置类型
三、对象与类型的关系
1、对象本身能够自证为基本类型；
2、元原型可能为一个空的集合；
3、复合对象的成员能够自证为基本类型；
4、复合类型具有成员便利的基本功能；
四、复合类型对象的引用
五、成员的归属：原型or对象
有判断支持；
有包含支持；
