ISSUE: 优化编译流程

此处列出严重编译速度的事项，并视情况进行优化处理：

• 递归的类型检查

此前由于考虑递归类型存在的可能，导致不必要的性能开销
移除所有递归类型检查，由于递归类型只会出现在fullyupdate处，遇到递归类型则报告错误并终止分析

• 申请内存导致的性能开销