lift and remove ast simplifications, pom -> ± => pom(±)
Fixed pomTermStar and tdFactorStar orderissues
Some TAC generation