add variables in interp.rkt of ch8