4.3-4.4 谓词类型标识符和组合类型标识符。
4.5 (partially) -- 4.6
类型神马的就番到这里。