目前就我所知，可能会需要Concrete Syntax Tree（和表层代码一一对应）和Abstract Syntax Tree（已经没有语法糖，但是可能不 well-typed。有的语言会在产生 Abstract 时进行 ScopeCheck，有的不会）以及 Value （TypeCheck 导出的 term，已经确保是 well-typed，可以直接对它进行值操作，比如函数调用）。