原著Errata追加

[Eijiro Sumii]

皆様，

ごぶさたしています．Twitter等でご指摘いただいた，
原著の新たなErrataの候補です．私が管理している
https://www.dropbox.com/s/9dkguftad519x0s/errata-trans.txt
に追加しようと思いますが，私の勘違いや見落とし等が
もしありましたらお知らせください．

ちなみに原著の新たなErrataはいちいち日本語訳には

反映していないですよね…？

        住井

p. 63, Exercise 5.2.8:

    "c x (c y (c z n)))"
    -> (remove the last closing parenthesis)
    "c x (c y (c z n))"

（これ↑は五十嵐さんの学生さんの発見です）

p. 220, (TA-If)

    All the turnstyles "|-" should be "|->".

[*] p. 256, line -3, "the <: relation is antisymmetric"
(Cf. p. 257, Exercise 19.4.1 and p. 530, Solution 19.4.1)

    In addition, C should not be equal to D in any class declaration class C extends D {...}.

（上の2つは https://twitter.com/Mi_Sawa/status/1522481400364302336 以下のご指摘です．）