coqPackages.domains: new expression