first step towards evalExp EApp ..
more steps toward evalExp function call