Higher-order, higher-order automatic differentiation

Early incomplete draft, November 2019

Distributed for comments