Do polymorphism boxing for the result of regions

[phischu]

The following program returns an integer through a region:

def main() = {
  val x = region r { 42 };
  println(x)
}

It would be great if we would always box these results, we need it in #642.