added missing files
added: python firewall parser
3way merge with Julius' state of the ipv4 thy
abstracted ipv4 range to arbitrary wordrange
scratch for the ip port space matcher

need to refactor the simple matcher
refactoring: moving generic ip space oeprations up
refactored bitrange, removed quotient type
refactored proof
why does this fail? stackoverflow?
fixed failing code
fixed
draft: packet set
refactored

iptrule_match now datatype new
trying to generalize the formatting
refactored. generalizing Ln format
generalizing
sorry, forgot a sorry
tuned primitive_extractor
tuned
refactoring
collect_allow draft