bugfix in evaluator for arithmetic unary symbols; also an optim for tailrec call to eval