pub fn and() -> TypedBinOp