[AutoDiff] Remove original parameters and results from adjoint type signature.
Original arguments and results are not needed or used by the adjoint because the adjoint is just a pullback with an explicit closure context. Saves more memory.
This has been on my list for quite some time. :)