Evaluator module, for modular evaluation of terms using interpreted symbols