Abbreviation for inverse in the BabyJubjub prime field.
Macro: pfinv
(defmacro pfinv (x) (cons 'inv (cons x '((baby-jubjub-prime)))))