Further improve the ExtensionManagement
Currently the ExtensionManagement part of this module is very simple and collects identifiers global variables, functions and procedures. It could be further extended to also capture who uses them and provide that information when discovering an overlapping to make solving the problem of using the same identifiers easier.