The foundations of Wolfram Language (Mathematica) are about transformations on symbolic expressions, at least conceptually.