Simple dual-numbers reverse AD in the style of the algorithm underlying https://hackage.haskell.org/package/ad, and strongly inspired by the final taping version of https://arxiv.org/abs/2207.03418 .