A method to evaluate an expression to a reduced value by repeatedly finding the leftmost expression ready for substitution.
