Added the ability to show equations.

They, and Problem instances, can now be displayed in a form
very close to their original encoding (as opposed to the AST
representation previously supported by way of "toString").