add support for the GMP 'remove' function; add tests