Handle small bool * bool bug

[lshaw8317]

Multiplying a bool * bool returns an error (no mul_bbb opcode). Should be caught early and coerced to logical_and of the two values. Similarly for add_bbb -> logical_or.