Starting a Coq NetKAT