partial matching of function arguments, more error semantics of arguments matching