Type relation

Implementation of Rust's subtyping and outlives rules. Defines what it means to have T1 <: T2, and how to prove that is true.

In rustc, this is roughly the subtyping code from the rustc_infer module.

In a-mir-formality, this is the ty layer.