Multiplication of m31s in field.

​
Signature

extern fn m31_mul(a: BoundedInt, b: BoundedInt) -> BoundedInt nopanic;