coqPackages.tlc: new expression