coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions