Variable dependency analysis

[ricardoV94]

Inspect how variable dependency could be exploited to generate more efficient logp graphs for step samplers: pymc-devs/pymc#7591

And/or talk a bit about type inference, example the sort of stuff we exploit in the linalg rewrites (complementing #6)