Finish hoop linking through ports #4
Description
Currently even though each hoop models the use of ports, the code itself assumes that all transactions is KV to KV, with the exception of input and output hoops. We need to complete the port mechanism such that the system can model different forms of hoop input and output.