fix bug in destruction logic
implement ordering of mpz