Implementation of Dict.pop and Dict.pop_value (proposal #856 for Dict)