Types within CANTEK