In order for Libadalang to fullfil its purpose, we need to be able to resolve names and types in Ada code.