Types within KIHEUNG