4.5.3-1.3 类型检查核心逻辑

本节及后续相关章节包含类型检查的核心处理逻辑，我们将从如下几方面进行讲解：

1. 总体介绍

2. 类型表达式的类型检查

3. 求值表达式的类型检查

4. 类型兼容性检查

5. 处理 delayed 队列