Using #2354 we can decide what FuncDecls(/FuncDefns(?)) in the inserted Hugr are actually proxies (or replacements?) for FuncDefns(/FuncDecls) in the target and provide directives to #2355 to wire up the inserted nodes accordingly.

Note the insert_hugr-like idea of inserting the entrypoint subtree into a specified location, deferred until #2517.