Implement the `Residual` trait.

[alilleybrinker]

Right now we implement FromResidual and Try, but we ought to also implement the Residual trait which is important for some type-level programming around the Try trait. This would be behind the nightly feature since it's unstable.