Better reverse mode propagation through implicit function (not ready), #823