This module provides a "reducing" expression evaluator, which reduces away pure, non self-referential aspects of an expression tree, yielding a new expression tree. It does not yet attempt to reduce everything possible, and will always yield a tree with the same meaning as the original. It should be seen as an opportunistic simplifier, but which gives up easily if faced with any potential for ambiguity in the result.