Apparently, AI2 enforces type constraints for logical
blocks and math blocks.
You can't code 1 AND 1
but you can code True AND True.
This doesn't preclude you from writing conversion routines
to convert your numbers into text strings of 1's and 0's,
and writing your own string versions of AND, OR, NOT, XOR, etc.
Or you could convert numbers to lists of booleans,
then knit two lists together into a third list bool by bool using the logic blocks.
What fun!
ABG