Addition of m31s in field.

​
Signature

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