Pretty-print formulas defining variables

[pbourguignon]

Printing a Variable instance displays the complete formula defining the variable. However, this comes in form of a (possibly very long) string that may be hard to parse with the naked eye.

A pretty-printing option would instead produce a well-formatted system of equations representing a complete computation graph.