More NetKAT axiomitization

* Removed Packet -- we don't actually need this!
* Added all SDN Types as Fields
* Eq is an equivalence relation
* Eq is a congruence wrt Policies
* Uncommented KA-LFP-* rules

Currently loops (either of Symmetry or KA-LFP-* causes this)