add unary numbers rules [A]+[B]->[A][B] input ||||||+||||||||+|+||