将类型信息从expr中剥除，单起一套类型系统
修复编译错误