Types within EXTEC