Add the basic definition of (eval) in eval.ss