Fix function declaration for more than 2 parameters

Actually in
``
let f: R*R*R -> R, (x,y,z) -> x+y+z;
``
the type of `z` was never set. Type definition was not defined on the right set.
This is fixed.