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