完成数据类型与定义的一致性检查，完成getType方法