Types within LORS