augment List_set
de-monadify packet validation

as a bonus, keep set-like operations in one place