augment List_set
de-monadify packet validation

as a bonus, keep set-like operations in one place
simplify
Merge pull request #102 from mirleft/packet-validation-b

Packet validation b