A new weightless operator, Or(A, B), and better error messages for operators.