Work on binary operations.
Work on adding return statements, and Tests.
Reprocess a node if it has changed.
Render numerals and names appropriately.
Handle more node types during reduction.