Extensions for the sum() case in boolean_arithmetic_linter

[MichaelChirico]

Follow-up to #1579: boolean_arithmetic_linter() can also detect some other cases of sum(<known logical vector>) == 0 --> any(<known logical vector>):

• sum(x %in% y)
• sum(x | y) / sum(x & y)
• sum(!x)
• Other common logical vector-output functions like is.na(), is.nan(), is.finite(), is.element()
• stringr equivalent of grep() --> str_detect() recommended