Refactoring the monolithic WTypes.agda file into some smaller files and changing notation for Containers.