Types within SHENGDA