snapshot of dehopification
snapshot. Working optimizer
moved to new intermediate dehopified representation
moved to new intermediate dehopified representation
stupid typo in dehopification
Basic optimizer seems to be working decently, crashing
optimizer is kicking ass, and I'm kicking my eyelids open
merge
added simple comments to aid reading
working on cross product construction
Merge remote-tracking branch 'mark/master'

Here is what I think the fix is.

Conflicts:
	lib/NetKAT_Compiler.ml
	lib/NetKAT_Compiler.mli