implement type() on BooleanBinaryExpr instead of its children

Similar to ArithmeticBinaryExpr, we were providing an identical implementation
of type() for each one of its children. It's unclear what the motivation for
this was as these do -- and always have -- return a boolean uniformly.