[PatternMatch] Add m_AddLike matcher (NFC)

This matches either a plain "add" or an "or disjoint" that can
be converted into an add. The AddLike terminology is adopted from
the SDAG layer.