Highlight state considation

This builds on #1729 and makes our language a lot more consistent. For my sanity.
I think this was better as `focusedAnnotations` it's confusing to have a property share the same name as a method. Especially when the property is a verb. To me `focusAnnotations` means take these annotations and "focus" them, `focusedAnnotations` means these annotations are currently focused.