Types within E. T. I.