Fixed a typo in the computation rule for W-types.
Added "Fixed a tpyo in the computation rule for W-types" to the errata.
Improved errata.
...
Merge pull request #589 from mr-/master

Typo in Section 5.3 W-types.