coqPackages.flocq: new expression