mathlib3

189063b1 - chore(data/W): rename `W` to `W_type` (#4909)

chore(data/W): rename `W` to `W_type` (#4909) Having a single character identifier in the root namespace is inconvenient. closes leanprover-community/doc-gen#83 Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>