Type Hierarchy now shows super-types

The Finder can now find super-types of a given type. This is
currently restricted to super-types that are defined in the
project, as is also the case for sub-types.

Fixes #1001759