Highlight related fragments as you're editing

[rehno-lindeque]

e.g. (a -> b) -> (a ->: _):b

Highlight (underline?) both a -> b and a ->: _ if the caret is over (a ->: _):b