Would it be a nice idea to have the option to convert a procedure with some arguments to a result-procedure by one click that creates it with the transfer of the wanted arguments (and possibly vice versa)? so that one could avoid the boring act of rewriting all arguments' names.