Multiple return values

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.