Types within SCHMIDT