pub fn or(lhs: Type, rhs: Type) -> Type