pattern 5: add

parameterized by F.

abstract:   add_F(a, b) → a + b in F
canonical:  (v_a + v_b) mod p

cost: 1. constraints: 1.