arguments: monideal >> int monomial
Remove the lexicographically largest element from the monomial ideal. Place its integer number and the actual monomial onto the stack. If the monideal is empty, raise an error.
