Types within OMGA