第二版 P508 页有一些小错误

[WendaoLee]

第八行 ： “具体计算一个类型的阶”——“具体计算一个类型的秩”

第十一行少了个逗号： “forall 关键字限定的类型其中”——“forall 关键字限定的类型，其中”