finished binary and nullary
assignment constructor
Successful evaluation simplifying
successful evaluation simplifying
report
report