Property definitions

gmp $ NativeMPZ :: add
    fun add(res, op: NativeMPZ) `{
        mpz_add(res, self, op);
    `}
lib/gmp/native_gmp.nit:35,5--37,6