I wonder if something like this could be applied to MST processing and visualization. I've included very simple tree reduction already (automatic substitution of numeric expressions). But I am not sure where it could go next.
Interesting. I think for now we will focus on computation contexts and evaluating those symbolic expressions effectively, but if someone wants to do fuly symbolic computations it is quite easy to implement on top.