该Type属于Exp的一个属性,用来语义解析时使用