Replace deprecated functions and theorems from the Coq standard library (version 8.6) by their non-deprecated counterparts.