algebras.termAlgebra("free term algebra"):
