Anders Buch would like simple algebraic manipulations with symbolic expressions: expansion,
substitution, etc.
