Types within CASE