FeatherweightJava evaluation engine. The evaluator maps {@link fj.ast.Term terms} to {@link fj.eval.Value values}.