Make TExp's argument have nominal role (Trac #8459)