value
linkBCO :: Interp-> PkgsLoaded-> BytecodeLoaderState-> NameEnv BCOIxA mapping from names to references to other BCOs or static constructors in this group.
-> UnlinkedBCO-> IO ResolvedBCO
Linking interpretables into something we can run