Types within STUHR