coqPackages.coqeal: new expression