With the eraser tool, you could also differentiate between pen and pencil erasing, as there is currently only the option for tape or highlighter. For example, if you have marked something in a paragraph with the highlighter and at the same time noted something with the pen on the marked area, then only both can be erased at the same time and not individually