Abbreviation for n-ary addition in the BabyJubjub prime field.
Macro: pfaddall
(defmacro pfaddall (&rest rst) (if rst (if (cdr rst) (xxxjoin 'pfadd rst) (cons 'pfadd (cons 0 (cons (car rst) nil)))) 0))
