functions which return functions are not dealt with properly yet:
the returned functions currently can only have single arguments
we can not yet deal with functions returning functions retuning functions ...