Function is_ty

pub fn is_ty(resolve: &Resolve, expected: Type, ty: &Type) -> bool