add the core of varibale interp.rkt