setset: Remove final traces of PacketSetSet
Merge pull request #297 from frenetic-lang/setset

Remove final traces of PacketSetSet