I would like to see some highlight features that are designed around following an argument in a text.
For instance a number 1, 2, 3 etc. for marking out premises and the conclusion (therefore) symbol (the three dots in pyramid) to mark out the conclusion.
Along these lines we could get other logical notation highlights. For instance --> (if...then).