Adds type specifications, module coments and headers.