add type env