Types within INTEC