Refactored the rest of the WTypes.agda file out into separate files.
Removed WTypes.agda.