Extend tracks functionality for Composite Ops

[ricardoV94]

We probably can hack the tracks functionality for these sort of composite ops, we could do something like BlockwiseOf(CoreOp) dummy type and have special logic in the tracks?

Originally posted by @ricardoV94 in #1353 (comment)

This opens the door to the idea of making rewrites more "database index-like". Stuff like SequenceOf(Solve, Diagonal), that the PatternNodeRewriter tries to do, but fails for the very same kind of parametrized Ops (which solve type should it match?).