Adds type specification, structural comments and headers to erodws modules.