Trait or
fortraith
pub trait or { type Result; }
Logical or two top elements
forth!( true false or return type Out as top ); assert_eq!(Out::eval(), true);
type Result