NetKAT code for Chapter 7, no parse error, does not work yet
netkat policy for chapter 8 in frenetic tutorial, translated verbatim for now, no parse error observed but it does not run