Actually add the evaluator module for delta-reduction