Graph transformation: eager and lazy

[ricardoV94]

Walk-through on two kinds of graph transformations that PyTensor does, an eager one (building a graph immediately), and a lazy one (relying on rewrites to achieve it).

Thinking of:

• Eager: gradient or vectorization
• Lazy: shape inference