Types within SUPERTEC