Program generation support for functions of any number of arguments

Hi,

I noticed that only 2 and (recently) 3-argument functions are supported.

Will it be simple to support any number of arguments without duplicating the definitions and rules?

If not, I think at least more function types should be supported, maybe up to 4/5? If you think this is the solution that should be implemented for now, I can make a pull request.