make the destructor argument of Pool to accept a str

the destructor argument of Pool now accepts a str argument, 
which specifies the name of the destructor in the class.