Match on specific tree structures

[Dinistro]

Devito uses a multitude of tree visitors that only triggers matches on specific tree structures.
For example, they do only match on Iteration nodes that do not contain any children nodes of type Iteration.

Supporting such more complex patterns out of the box might make many Devito transforms easier to implement.