pub fn eq_ty(l: &Ty, r: &Ty) -> bool