Also remove the treatment of tuple of function arguments, since this kind of argument cannot be defined in the language (by now?).