Previously, & and | were interpreted as logical-and and logical-or, but in python those are bitwise operators. ^ had the same semantics as **, but should mean bitwise xor. I changed the PIR for these to use the appropriate bitwise operations and to accept arguments of type INT, as in python. True and False are not yet handled.

I added a test for these bitwise operators which was failing but now passes.

Patch applied. Thank you.