type check
添加抽象语法树的框架, 接下去往里面塞代码