Fix return type handling for vector functions

Now, one can write for instance
``
let f : R->R^3, x -> (x, 2.3, -x+2);

R^3 x = f(0.3);
R^3 y = 2*f(1.2) + x + 3*f(-1.4);
``