Types within BEMA