Introduce new opaque implementation of `uint256`, move old "arithmetic" implementation to `arith_uint256.