[NetKAT] Eliminate node and map copies in packet transformer combinators#98

smolkaj wants to merge 3 commits into

google:maingoogle/netkat:mainfrom

smolkaj:transformer-copy-eliminationsmolkaj/netkat:transformer-copy-eliminationCopy head branch name to clipboard