Turn every use of a type as a noun into an adjective, for consistency.
Add a glossary.
Add text describing how (P) and (W) cancel out.