First steps on replacing the current ExpressionTransformer with a more generic ExpressionOptimizer.