Some tidying { Matt, Rebecca, Nate } noticed.

Renamed hdr -> header
        pol -> policy
        Set -> Mod

throughout.
Kleene star, the easy parts
stub for graph package
adding some comments and types to netcore_verify
unit tests for netcore (non-functioning)
figured out testing, expanded available headers in verify
Comment out broken code
simple test case for verify