Add navigate to super/overrides declaration

[aeisenberg]

CodeQL makes heavy use of overridden predicates on classes. There is no simple navigation step to go from the current predicate to the super-predicate or sub-predicate. It would be useful to implement something like this.