Added a bit more of an explanation of W-types