Lifetime Parameter Variance

- Declare variance of lifetime parameters in structs
- Handle variance of lifetime parameters in subtyping
- Check struct declarations for coherent variance
you want `(xform vq co)` here (`&'a T` is contravariant with respect to `'a` and covariant with respect to `T`)