Function prop::or::assoc

pub fn assoc<A: Prop, B: Prop, C: Prop>(f: Or<Or<A, B>, C>) -> Or<A, Or<B, C>>

(a ∨ b) ∨ c => a ∨ (b ∨ c)