Question to self: should we "clean up" reduction steps

[stephen-swensen]

Some issues like #118 #142 introduce the question: should we have a version of reduceFully or UnquotedExpression (perhaps as an option) that cleans up reduction steps? Namely,

• strip out WithValue expressions entirely
• rewrite final reduction as a Value if it isn't already

[stephen-swensen]

I think we could add a clean operator which provides this operator as a post processing step which library user's may choose to use if they wish. But we could also choose to use it on the UnquoteExpression reductions (used by test operators), perhaps optionally by default

[stephen-swensen]

Closing for lack of clarity + inactivty