Types within BERG