moved new things from Int to Env and added some new to Int as well as agreed today