Added blog post on W-types.