Added the produceSymbol etc. things to the evaluator