Add multigraph representations for nonlinear expressions

[mewilhel]

• [ ] Support graph structures with multiple sinks and a sources
• [ ] Support multiple parents for each node
• [ ] (Potentially) Support graphs with cycles (possibly just to the extent that we bridge them via tearing)