BUG/API: disallow boolean arithmetic operations