Explain chain rules

[gdalle]

I must make it easier for contributors to understand how chain rules are written. This requires:

• basics of autodiff and VJPs
• formulas