fix rename_ident and disable abstraction of Env.t. But next error occurs