add a comment about the name of transExp and the contents of ExpTy.