Links to related types

[sdkrystian]

For example, there should be "related type" links for each of the template arguments in a class template explicit specialization. Conversely, a type which is used as a template argument in an explicit specialization should have a "related type" link to that explicit specialization.