TermAlgebra introduced