Function is_ty 

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