Fixed a typo in the computation rule for W-types.
Added "Fixed a tpyo in the computation rule for W-types" to the errata.