coqPackages.bedrock: new expression