sketch of template NetKAT syntax
oasis setup