[developers] Finding the minimal type for which a feature is declared

[Ann Copestake]

it exists - see the expanded Debug menu - not really sure what you mean by the
topological ordering