1.变量重定义检查；函数重定义检查；变量函数使用时是否定义检查；
2.赋值语句两边类型是否相同检查
3.非数组类型使用索引报错
4.关系运算符，加减，乘除左右不同类型报错
5.函数声明中参数名在定义域里面可以引用了，重复定义会报错
6.检查返回值类型， if while 的bool/int类型检查
语法增加：变量初始化；函数声明；增加类型double、bool；
语义：
1.变量声明初始化类型检查；
2.函数声明与定义，不可重复声明重复定义，仅能先声明后定义或者只定义；
3.数组索引使用需为int数值；
4.a=array[i]可以正确报错了(左右类型检查)
5.树节点增加变量type