fiexed a small Bug in the argumenttyping code of functions. The case f(x|->y) creates a Couple node instead of two integer nodes f(x,y). This returns a carttype instead of two integer types. The problem is fixed now