Additional m31 actions for specific implementations based on qm31 opcode.

Extern functions


m31_add	Addition of `m31` s in field.
m31_div	Division of `m31` s in field.
m31_mul	Multiplication of `m31` s in field.
m31_sub	Subtraction of `m31` s in field.

Re-exports:


m31_add	Addition of `m31` s in field.
m31_div	Division of `m31` s in field.
m31_mul	Multiplication of `m31` s in field.
m31_sub	Subtraction of `m31` s in field.