make functions of Env to StateT and use putValueG