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