Cross-dialect folding and canonicalization

[dfki-jugr]

Is there any agreement on how to handle splitted ops in different dialects?
There is still a discussion about splitting the memref.dim into a memref.dim and a tensor.dim that is related to the issues mentioned above.