Use auto-differentiation engine

[Mosè Giordano]

Measurements.jl implements a sort of layman autodifferentiation engine under the hood. It'd be interesting to base it on a more advanced and general autodifferentiation engine (for example I'm particularly curious about Enzyme.jl). We'd basically be able to get rid of all the rules in src/math.jl