fixed boolExpNode's typecheck