This member is added by an implicit conversion from SubstitutionTerm to
any2stringadd[SubstitutionTerm] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from SubstitutionTerm to
StringFormat[SubstitutionTerm] performed by method StringFormat in scala.Predef.