reduceE, used to reduce any expression to a unit expression.