feat: Faster import/export through better name handling.#2055

zrho wants to merge 3 commits intomainQuantinuum/hugr:mainfrom

zrho/faster-exportQuantinuum/hugr:zrho/faster-exportCopy head branch name to clipboard