[Eva] Reorganizes the functions in eval_terms.

Makes [eval_term] and [reduce_by_predicate] mutually recursive. This is needed
to interpret set comprehension.

Makes some exceptions local.