node_processor

Now the following code is valid
``
let f : N -> N*N, i -> (i+1, 2*i);
let g : N*N -> N, (i,j) -> (i+1)*(j+1);

N i = g(f(2));
``
`i` will contain the value `20` as expected