Two new features: one in function declarations to limit the number of arguments.
the other the set of dummy indices (dummyindices_).
Some bug fixes in writing results of optimization.