Similar Items: Monadic Presburger Predicates have Robust Population Protocols