Primitives for Match-Action in Theory and Practice