Strengthen strong allocation lemmas to work for any infinite set
Now that std++ has https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/blob/master/theories/infinite.v, we should be able to provide stronger versions of own_alloc_strong
and similar lemmas.