Add type-checking test for logical OR.