You've touched on many of the different types of editing here. I recently wrote a post about them that you might be interested in -- https://steemit.com/writing/@redhens/writing-grit-types-of-editing
If writers follow the tips you've shared here, it'll make a big difference to the quality of their work. Thanks for sharing! I'm always interested in reading what other writers have to say about the craft. 🙂