compiler: Logical operators should yield untyped bool for untyped operands.