Types within OMAL