Correctly mark types for backward pass of VJP

[samestep]

As shown in the Hessian example added in #98, currently the VJP function type expects the backward pass input to be symbolic and says it may not return a fully symbolic value; this is flipped from what it should be. We should make these types more precise in the signature.