pub fn or_(l: Term, r: Term) -> Term