Multiple return values

[phischu]

It would be great if we could return multiple values from a function directly

def swap(x: Int, y: Int): (Int, Int) = (y, x)

This should not be sugar for pairs (as it currently is) but multiple return values without constructing a pair.