Use _transitive_ views to model type aliases. Those views can also be leveraged to replace the type lookup prioritization in `SearchEngine`.
Use transitive views to model type aliases.
Those views can also be leveraged to replace the type lookup prioritization in
SearchEngine.