More general reasoning than g -> g1 -> g2 -> ... -> h

[hmillerbakewell]

e.g. being able to specify g and h then work inwards

e.g. being able to give g and h and ask if Quanto can easily get from one to another (for e.g. pulling spiders apart)

Feature request from ZXFest