add type environment