Added so #7714 also takes care of args... when considering a match and
removed the requirement of equal lengths of args. The match also takes
into acount that paremetric methods args needs to have the same type for
one tvar.