Fixed (a) sequential composition bug
Merge branch 'semantics' of https://github.com/frenetic-lang/frenetic into semantics
Choice for NetKAT (certainly still need debugging)