Explicitly box interfaces

[phischu]

Currently the following is accepted:

def create(): Fresh at {} =
  new Fresh { def fresh() = "" }

However, the following is not and I think it should be:

def create(): Fresh at {} =
  box new Fresh { def fresh() = "" }