add eprogn to deal with begin
evlis
lookup and update
extend env
modifify