Christoph Ruegg

I certainly have interest in this. I appreciate the reasoning, thoughts and time you've put into this, and agree mostly. My time and live priorities are a different matter though;...

Please allow me to reopen it, since it is still relevant.

I'm actually not entirely sure we can control this (at least when using F# as dsl), since prefix operators have a higher precedence in F# than the power operator ([docs](https://docs.microsoft.com/en-gb/dotnet/fsharp/language-reference/symbol-and-operator-reference/index))....

I've added that line merely to keep expectations in control - not to limit it artificially in any way.

I'm currently experimenting with an alternative value type (see alternative-valuetype branch; `NewValue.fs`, work in progress). The goal of the new type is to consolidate and simplify the redundancies between Approximations,...

The modules typically just accompany a type, so the type is where the difference is. The distinct property of the `Approximation` type is that it is part of the `Expression`...

NB: to answer the original question, it might be possible to leverage at least some of the existing Expression rules in evaluation by substituting the values first (`Structure.substitute`) instead of...

So you'd want a multiplication sign between an integer and parenthesis (`2⋅(x+y)`), but not between an integer and a symbol (`2x`)? What would be the exact rules when the sign...

Reopening, as there should be a better way than that workaround.

It would also be more consistent with the rest of the API. Technically, if we'd change the argument to expect a SymbolicExpression, the former notation with a string would still...