some more exercises on W-types
one more exercise
oops, fix some typos
yet one more exercise
Merge branch 'master' into Wexercises
autoref -> cref
Merge pull request #629 from mikeshulman/Wexercises

Some more exercises on W-types