Adds type specifications, module comments and headers.