Add test of bools
Implement boolean operations for ?-Bool

By representing false by 0, true by 3 and ?-Bool as 2, it turns out that bitwize and and bitwize or
yiels propper and and or on the tribools.