在编译过程中，进行类型分析和检查是( )阶段的一个主要工作。