类型层级

• Top Type，any 与 unknown
• 特殊的 Object ，它也包含了所有的类型，但和 Top Type 比还是差了一层 String、Boolean、Number 这些装箱类型
• 原始类型与对象类型
• 字面量类型，其实也就是更精确的原始类型与对象类型，需要注意的是 null 和 undefined 并不是字面量类型的子类型
• 最底层的 never