Adding text about the typing rules for the or idiom