moved HdrMap to NetKAT_Types
NetKAT semantics