Update eval.rkt