Efficient union for ModuleGraph and InstalledModuleEnv
I noticed that these two data structures are abstract and don't have efficient union operations. The use case is composing HPTs and ModuleGraphs for efficiently incremental load of module interfaces in HLS: