Parameterized semantics over the headers
expose bits of Local, move convertors to SDN_Types to RunTime module

The functions that convert to SDN_Types are the only functions that
special-case on the Switch pseudo-header.
oasis setup
signatures on sub-modules help understand the invariants