coqPackages.unimath: new expression