[reduce] Add op/dialect interfaces for providing reductions

[fabianschuiki]

Add an interface for dialects and operations to provide reduction patterns. As a first step these should probably be just simple lists of reduction patterns, but at a later point could be more elaborate, like operations being able to offer multiple, fine-grained reductions based on the circumstances of that operation.

This might eventually be something to upstream into MLIR proper.