added nominal multigraph theory, breaking things out into nominal util thy
proved symmetry lemma