Abstract over mpz_t in Mlw_c_module and fix the for loop