compiles against NetKAT (using s/choice/union)
Merge pull request #7 from frenetic-lang/fastkat

compiles against NetKAT (using s/choice/union)