Display expression

[uncomputable]

Display Simplicity expressions as linear strings, like in the tech report. Include some simple transformations like infix pair and comp, and true or false, and the {O,I,H} notation. This will make debugging much easier.