fix notation for W-types
unmarked errata for bceb7ca
Merge pull request #604 from mikeshulman/wtypes

fix notation for W-types, close #603