made defs to Coq stdlib defs where applicable