Types within OSLA