Function subtype

pub fn subtype(
    gamma: &mut Gamma,
    env: &TypeEnv,
    t1: &Type,
    t2: &Type,
) -> Result<()>

Check if t1 <: t2