Jlh18/W_types

I make W-types examples and compute their polynomials